no. 3
Expressions indéterminées, constructivisme et axiome du choix
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 33 (1992) no. 3, pp. 279-288. 
@article{CTGDC_1992__33_3_279_0,
     author = {Prout\'e, Alain},
     title = {Expressions ind\'etermin\'ees, constructivisme et axiome du choix},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {279--288},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {33},
     number = {3},
     year = {1992},
     mrnumber = {1186953},
     zbl = {0769.03033},
     language = {fr},
     url = {http://archive.numdam.org/item/CTGDC_1992__33_3_279_0/}
}
TY  - JOUR
AU  - Prouté, Alain
TI  - Expressions indéterminées, constructivisme et axiome du choix
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1992
SP  - 279
EP  - 288
VL  - 33
IS  - 3
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1992__33_3_279_0/
LA  - fr
ID  - CTGDC_1992__33_3_279_0
ER  - 
%0 Journal Article
%A Prouté, Alain
%T Expressions indéterminées, constructivisme et axiome du choix
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1992
%P 279-288
%V 33
%N 3
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1992__33_3_279_0/
%G fr
%F CTGDC_1992__33_3_279_0
Prouté, Alain. Expressions indéterminées, constructivisme et axiome du choix. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 33 (1992) no. 3, pp. 279-288. http://archive.numdam.org/item/CTGDC_1992__33_3_279_0/

[1] R. Diaconescu (1975) Axiom of Choice and Complementation. Proc. Amer. Math. Soc. 51, 176-178. | MR | Zbl

[2] K. Gëdel (1931) Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System I. Monatsh. Math. Phys. 38, 173-198. | JFM | MR

[3] A. Heyting (1955) Les fondements des mathématiques. Intuitionnesme. Théorie de la démonstration. Gauthier-Villars, Paris. | Zbl

[4] P. Martin-Löf (1982) Constructive Mathematics and Computer Programming. dans: Cohen et al.: Logic, Methodology and Philosophy of Science VI North-Holland, Amsterdam, 153-175. | MR | Zbl