Georg Kreisel

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