Geodesic
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

Voir la notice de l'article provenant de la source Numdam

MR   Zbl 

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://geodesic.mathdoc.fr/item/CTGDC_1992__33_3_279_0/
@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},
     year = {1992},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {33},
     number = {3},
     mrnumber = {1186953},
     zbl = {0769.03033},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/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://geodesic.mathdoc.fr/item/CTGDC_1992__33_3_279_0/
%G fr
%F CTGDC_1992__33_3_279_0