Constructive mathematics
Apéry, Roger
HAL, ISBN: 2-02-006061-2 / Harvested from HAL
Text on HAL
Ce texte est paru dans l'ouvrage ``Penser les mathématiques: séminaire de philosophie et mathématiques de l'École normale supérieure (J. Dieudonné, M. Loi, R. Thom)'' édité par F. Guénard et G. Lelièvre, Paris, éditions du Seuil, 1982, p. 58-72. Il est reproduit avec l'aimable autorisation de François Apéry.
Publié le : 1982-07-04
Classification:  continuum,  effectiveness,  constructive mathematics,  formalism,  constructive logic,  mathématiques constructives,  formalisme,  logique constructive,  continu,  effectivité,  03A05; 03F65,  [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{ISBN: 2-02-006061-2,
     author = {Ap\'ery, Roger},
     title = {Constructive mathematics},
     journal = {HAL},
     volume = {1982},
     number = {0},
     year = {1982},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ISBN: 2-02-006061-2}
}

Apéry, Roger. Constructive mathematics. HAL, Tome 1982 (1982) no. 0, . http://gdmltest.u-ga.fr/item/ISBN:%202-02-006061-2/