@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/} }