Méthode et problèmes de l'intuitionnisme
Annales de la faculté des sciences 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.
@article{ASCFM_1962__7_1_101_0,
     author = {Heyting, A.},
     title = {M\'ethode et probl\`emes de l'intuitionnisme},
     journal = {Annales de la facult\'e des sciences 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://archive.numdam.org/item/ASCFM_1962__7_1_101_0/}
}
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://archive.numdam.org/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 de la faculté des sciences 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://archive.numdam.org/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 de la faculté des sciences 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://archive.numdam.org/item/ASCFM_1962__7_1_101_0/

1 L.E.J. Brouwer - Intuitionistische Zerlegung mathematischer Grundbegriffe. Jahresber. Deutsch . Math. Ver. 33 (1924), 251-256. | JFM

2 L.E.J. Brouwer - Ueber Definitionsbereiche von Funktionen. Math. Annalen 97 (1926), 60-76. | JFM

3 L.E.J. Brouwer - Zur intuitionistischen Zerlegung mathematischer Grundbegriffe. Jahresber. Deutsch. Math. Ver. 36 (1927), 127-129. | JFM

4 L. E. J, Brouwer - Virtuelle Ordnung und unerweiterbare Ordnung. Journ. f. Math. (Crelle) 157 (1927), 255-257. | JFM

5 H. Freudenthal - Zum intuitionistischen Raumbegriff. Compositio Math. 4 (1936), 82-111. | Numdam | MR | Zbl

6 A. Heyting - Intuitionism, an introduction. Amsterdam, 1956. | MR | Zbl

7 A. Heyting - Axiomatic method and intuitionism. Essays on the foundations of mathematics, dedicated to A.A. Fraenkel. Jerusalem, 1961. | Zbl

8 B. Van Rootselaar - On intuitionistic difference relations. Proc. Kon. Ned. Akad. v. Wet. Amsterdam Sér. A, 63 = Indagationes Math. 22 (1960), 316-322. | MR | Zbl

9 A. Tarski - Sur les ensembles finis. Fundamenta Math. 6 (1924), 45-95. | JFM