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
@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://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
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/