Finite and infinite in intuitionistic mathematics
Troelstra, A. S.
Compositio Mathematica, Tome 18 (1967), p. 94-116 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{CM_1967__18_1-2_94_0,
     author = {Troelstra, A. S.},
     title = {Finite and infinite in intuitionistic mathematics},
     journal = {Compositio Mathematica},
     volume = {18},
     year = {1967},
     pages = {94-116},
     mrnumber = {226997},
     zbl = {0163.00501},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CM_1967__18_1-2_94_0}
}

Troelstra, A. S. Finite and infinite in intuitionistic mathematics. Compositio Mathematica, Tome 18 (1967) pp. 94-116. http://gdmltest.u-ga.fr/item/CM_1967__18_1-2_94_0/

L.E.J. Brouwer, [1] Zur Begründung der intuitionistischen Mathematik, I, Math. Annalen 93 (1924), p. 244-258. | JFM 51.0164.02

A. Heyting, [2] De telbaarheidspredicaten van Prof. Brouwer, Nieuw Archief voor Wiskunde (2) 16 (1929), p. 47-58. | JFM 55.0052.01

A. Heyting, [3] Intuitionism, an introduction, Amsterdam 1956. | MR 75147 | Zbl 0125.00510

J.J. De Iongh, [4] Unpublished manuscript of a lecture about notions of finiteness in intuitionistic mathematics, delivered in December 1956 in Amsterdam.