TY  - JOUR
AU  - Heyting, A.
TI  - Méthode et problèmes de l'intuitionnisme
JO  - Annales de la faculté des sciences de l'université de Clermont. Mathématiques
PY  - 1962
SP  - 101
EP  - 105
VL  - 7
IS  - 1
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1962__7_1_101_0/
LA  - fr
ID  - ASCFM_1962__7_1_101_0
ER  -