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://www.numdam.org/item/CTGDC_1992__33_3_279_0/
LA  - fr
ID  - CTGDC_1992__33_3_279_0
ER  -