%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://www.numdam.org/item/CTGDC_1992__33_3_279_0/
%G fr
%F CTGDC_1992__33_3_279_0