%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://archive.numdam.org/item/CM_1967__18_1-2_94_0/
%G en
%F CM_1967__18_1-2_94_0