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://www.numdam.org/item/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, Tome 7 (1962) no. 1, pp. 101-105. http://www.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