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