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

Compositio Mathematica, Tome 18 (1967), p. 94-116 / Harvested from Numdam

Troelstra, A. S.

The scientific work of A. Heyting
Compositio Mathematica, Tome 20 (1968), p. 3-12 / Harvested from Numdam