1. Foundations of constructive analysis;Bishop,1967
2. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes;Gödel;Dialectica,1958
3. The foundations of intuitionistic mathematics;KLeene,1965
4. Ein mengentheoretischer Satz über die Gleichverteilung modulo Eins;Koksma;Composito Math.,1935
5. G. Kreisel, Functionals, ordinals, species, in Logic, methodology and philosophy of science, Amsterdam (1968) 145–159.