Georg Kreisel

Publication Activity (10 Years)

Years Active: 1951-1998
Publications (10 Years): 0

Publications

Georg Kreisel
Second Thoughts Around Some of Göde's Writings. Synth. 114 (1) (1998)
Georg Kreisel
On the Idea(l) of Logical Closure. Ann. Pure Appl. Log. 56 (1-3) (1992)
Georg Kreisel
[Oxford Univ. Press, New York, 1986] by K. Gödel. Notre Dame J. Formal Log. 29 (1) (1988)
Georg Kreisel
Church's thesis and the ideal of informal rigour. Notre Dame J. Formal Log. 28 (4) (1987)
Georg Kreisel
Proof Theory and the Synthesis of Programs: Potential and Limitations. European Conference on Computer Algebra (1) (1985)
Georg Kreisel
Which Number Theoretic Problems can be Solved in Recursive Progressions on O 1/1 -Paths Through O? J. Symb. Log. 37 (2) (1972)
Georg Kreisel
A Survey of Proof Theory. J. Symb. Log. 33 (3) (1968)
William A. Howard, Georg Kreisel
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. J. Symb. Log. 31 (3) (1966)
Georg Kreisel, Gerald E. Sacks
Metarecursive Sets. J. Symb. Log. 30 (3) (1965)
Georg Kreisel
On Weak Completeness of Intuitionistic Predicate Logic. J. Symb. Log. 27 (2) (1962)
Georg Kreisel
A Remark on Free Choice Sequences and the Topological Completeness Proofs. J. Symb. Log. 23 (4) (1958)
Georg Kreisel
Mathematical Significance of Consistency Proofs. J. Symb. Log. 23 (2) (1958)
Georg Kreisel
Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae. J. Symb. Log. 23 (3) (1958)
Georg Kreisel, Hilary Putnam
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül. Arch. Math. Log. 3 (3-4) (1957)
Georg Kreisel
Remark on complete interpretations by models. Arch. Math. Log. 2 (1) (1954)
Georg Kreisel
On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications. J. Symb. Log. 17 (1) (1952)
Heinrich Scholz, Georg Kreisel, Leon Henkin
Problems. J. Symb. Log. 17 (2) (1952)
Georg Kreisel
On the Interpretation of Non-Finitist Proofs - Part I. J. Symb. Log. 16 (4) (1951)