Voir la notice de l'article provenant de la source Numdam
@article{ASCFM_1962__7_1_101_0,
author = {Heyting, A.},
title = {M\'ethode et probl\`emes de l'intuitionnisme},
journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
pages = {101--105},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {7},
number = {1},
year = {1962},
mrnumber = {280335},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/ASCFM_1962__7_1_101_0/}
}
TY - JOUR AU - Heyting, A. TI - Méthode et problèmes de l'intuitionnisme JO - Annales scientifiques 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://geodesic.mathdoc.fr/item/ASCFM_1962__7_1_101_0/ LA - fr ID - ASCFM_1962__7_1_101_0 ER -
%0 Journal Article %A Heyting, A. %T Méthode et problèmes de l'intuitionnisme %J Annales scientifiques de l'Université de Clermont. Mathématiques %D 1962 %P 101-105 %V 7 %N 1 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://geodesic.mathdoc.fr/item/ASCFM_1962__7_1_101_0/ %G fr %F ASCFM_1962__7_1_101_0
Heyting, A. Méthode et problèmes de l'intuitionnisme. Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du colloque de mathématiques réuni à Clermont à l'occasion du tricentenaire de la mort de Blaise Pascal. Tome 1, Tome 7 (1962) no. 1, pp. 101-105. http://geodesic.mathdoc.fr/item/ASCFM_1962__7_1_101_0/