List of citations in Numdam for : Finite and infinite in intuitionistic mathematics

Compositio Mathematica, Volume 18 (1967) no. 1-2, pp. 94-116.

Troelstra, A. S.

Compositio Mathematica, Volume 20 (1968), pp. 3-12.