Finite and infinite in intuitionistic mathematics
Compositio Mathematica, Tome 18 (1967) no. 1-2, pp. 94-116. 
@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://www.numdam.org/item/CM_1967__18_1-2_94_0/}
}
TY  - JOUR
AU  - Troelstra, A. S.
TI  - Finite and infinite in intuitionistic mathematics
JO  - Compositio Mathematica
PY  - 1967
SP  - 94
EP  - 116
VL  - 18
IS  - 1-2
PB  - P. Noordhoff N. V., Groningen
UR  - http://www.numdam.org/item/CM_1967__18_1-2_94_0/
LA  - en
ID  - CM_1967__18_1-2_94_0
ER  - 
%0 Journal Article
%A Troelstra, A. S.
%T Finite and infinite in intuitionistic mathematics
%J Compositio Mathematica
%D 1967
%P 94-116
%V 18
%N 1-2
%I P. Noordhoff N. V., Groningen
%U http://www.numdam.org/item/CM_1967__18_1-2_94_0/
%G en
%F 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

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

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

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