On the Interpretation of Non-Finitist Proofs - Part I. - Georg Kreisel (J. Symb. Log., 1951)

On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications. - Georg Kreisel (J. Symb. Log., 1952)

Problems. - Heinrich Scholz; Georg Kreisel; Leon Henkin (J. Symb. Log., 1952)

Remark on complete interpretations by models. - Georg Kreisel (Arch. Math. Log., 1954)

Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül. - Georg Kreisel; Hilary Putnam (Arch. Math. Log., 1957)

Mathematical Significance of Consistency Proofs. - Georg Kreisel (J. Symb. Log., 1958)

Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae. - Georg Kreisel (J. Symb. Log., 1958)

A Remark on Free Choice Sequences and the Topological Completeness Proofs. - Georg Kreisel (J. Symb. Log., 1958)

On Weak Completeness of Intuitionistic Predicate Logic. - Georg Kreisel (J. Symb. Log., 1962)

Metarecursive Sets. - Georg Kreisel; Gerald E. Sacks (J. Symb. Log., 1965)

Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. - William A. Howard; Georg Kreisel (J. Symb. Log., 1966)

A Survey of Proof Theory. - Georg Kreisel (J. Symb. Log., 1968)

Which Number Theoretic Problems can be Solved in Recursive Progressions on O 1/1 -Paths Through O? - Georg Kreisel (J. Symb. Log., 1972)

Proof Theory and the Synthesis of Programs: Potential and Limitations. - Georg Kreisel (European Conference on Computer Algebra (1), 1985)

Church's thesis and the ideal of informal rigour. - Georg Kreisel (Notre Dame J. Formal Log., 1987)

Book review: Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel. - Georg Kreisel (Notre Dame J. Formal Log., 1988)

On the Idea(l) of Logical Closure. - Georg Kreisel (Ann. Pure Appl. Log., 1992)

Second Thoughts Around Some of Gödel's Writings. - Georg Kreisel (Synth., 1998)