1. Quantification of number-theoretic functions;Kleene;Compositio Math.,1959
2. Sur les ensembles nommables et le fondement de l'analyse mathématique I;Kondo;Jap. Jour. Maths.,1958
3. Ordinal logics and the characterization of informal concepts of proof;Kreisel;Proc. Int. Congress Maths. 1958, Cambridge,1960
4. Set theoretic problems suggested by the notion of potential totality;Kreisel,1961
5. La prédicativité;Kreisel;Bull. Soc. Math. France,1960