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
Voir la notice de l'article provenant de la source Numdam
MRHeyting, 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/
@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},
year = {1962},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {7},
number = {1},
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
