@article{CM_1967__18_1-2_94_0, author = {Troelstra, A. S.}, title = {Finite and infinite in intuitionistic mathematics}, journal = {Compositio Mathematica}, pages = {94--116}, publisher = {P. Noordhoff N. V., Groningen}, volume = {18}, number = {1-2}, year = {1967}, mrnumber = {226997}, zbl = {0163.00501}, language = {en}, url = {http://archive.numdam.org/item/CM_1967__18_1-2_94_0/} }
Troelstra, A. S. Finite and infinite in intuitionistic mathematics. Compositio Mathematica, Volume 18 (1967) no. 1-2, pp. 94-116. http://archive.numdam.org/item/CM_1967__18_1-2_94_0/
Zur Begründung der intuitionistischen Mathematik, I, Math. Annalen 93 (1924), p. 244-258. | JFM
, [1]De telbaarheidspredicaten van Prof. Brouwer, Nieuw Archief voor Wiskunde (2) 16 (1929), p. 47-58. | JFM
, [2]Intuitionism, an introduction, Amsterdam 1956. | MR | Zbl
, [3]Unpublished manuscript of a lecture about notions of finiteness in intuitionistic mathematics, delivered in December 1956 in Amsterdam.
, [4]