Liste des citations dans Numdam pour : Finite and infinite in intuitionistic mathematics

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

Troelstra, A. S.

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