Finite and infinite in intuitionistic mathematics
Compositio Mathematica, Tome 18 (1967) no. 1-2, p. 94-116
@article{CM_1967__18_1-2_94_0,
     author = {Troelstra, A. S.},
     title = {Finite and infinite in intuitionistic mathematics},
     journal = {Compositio Mathematica},
     publisher = {P. Noordhoff N. V., Groningen},
     volume = {18},
     number = {1-2},
     year = {1967},
     pages = {94-116},
     zbl = {0163.00501},
     mrnumber = {226997},
     language = {en},
     url = {http://www.numdam.org/item/CM_1967__18_1-2_94_0}
}
Troelstra, A. S. Finite and infinite in intuitionistic mathematics. Compositio Mathematica, Tome 18 (1967) no. 1-2, pp. 94-116. http://www.numdam.org/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.