Méthode et problèmes de l'intuitionnisme
Annales scientifiques de l'Université de Clermont. Mathématiques, 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 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://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 scientifiques de l'Université de Clermont. Mathématiques
PY  - 1962
DA  - 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/
UR  - https://www.ams.org/mathscinet-getitem?mr=280335
LA  - fr
ID  - ASCFM_1962__7_1_101_0
ER  - 
Heyting, A. Méthode et problèmes de l'intuitionnisme. Annales scientifiques de l'Université de Clermont. Mathématiques, 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 51.0047.06

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

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

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

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

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

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

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 124216 | Zbl 0095.24203

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