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://archive.numdam.org/item/CM_1967__18_1-2_94_0/
LA  - en
ID  - CM_1967__18_1-2_94_0
ER  -