Table of Contents

Gödel's life and work Solomon Feferman
A Gödel chronology John W. Dawson, Jr.
Gödel 1929: Introductory note to 1929, 1930 and 1930a Burton Dreben and Jean van Heijenoort
Über die Vollständigkeit des Logikkalküls
On the completeness of the calculus of logic
Gödel 1930: (See introductory note under Gödel 1929.)
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
The completeness of the axioms of the functional calculus of logic
Gödel 1930a: (See introductory note under Gödel 1929.)
Über die Vollständigkeit des Logikkalküls
On the completeness of the calculus of logic
Gödel 1930b: Introductory note to 1930b, 1931 and 1932b Stephen C. Kleene
Einige metamathematische Resultate über Entscheidungs-definitheit und Widerspruchsfreiheit
Some metamathematical results on completeness and consistency
Gödel 1931: (See introductory note under Gödel 1930b.)
Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I
On formally undecidable propositions of Principia mathematica and related systems I
Gödel 1931a: Introductory note to 1931a, 1932e, f and g John W. Dawson, Jr.
Diskussion zur Grundlegung der Mathematik
Discussion on providing a foundation for mathematics
Gödel 1931b: Review of Neder 1931
Gödel 1931c: Introductory note to 1931c Solomon Feferman
Review of Hilbert 1931
Gödel 1931d: Review of Betsch 1926
Gödel 1931e: Review of Becker 1930
Gödel 1931f: Review of Hasse and Scholz 1928
Gödel 1931g: Review of von Juhos 1930
Gödel 1932: Introductory note to 1932 A. S. Troelstra
Zum intuitionistischen aussagenkalkül
On the intuitionistic propositional calculus
Gödel 1932a: Introductory note to 1932a, 1933i and l Warren D. Goldfarb
Ein Spezialfall des Enscheidungsproblems der theoretischen Logik
A special case of the decision problem for theoretical logic
Gödel 1932b: (See introductory note under Gödel 1930b.)
Über Vollständigkeit und Widerspruchsfreiheit
On completeness and consistency
Gödel 1932c: Introductory note to 1932c W. V. Quine
Eine Eigenschaft der Realisierungen des Aussagenkalküls
A property of the realizations of the propositional calculus
Gödel 1932d: Review of Skolem 1931
Gödel 1932e: (See introductory note under Gödel 1931a.)
Review of Carnap 1931
Gödel 1932f: (See introductory note under Gödel 1931a.)
Review of Heyting 1931
Gödel 1932g: (See introductory note under Gödel 1931a.)
Review of von Neumann 1931
Gödel 1932h: Review of Klein 1931
Gödel 1932i: Review of Hoensbroech 1931
Gödel 1932j: Review of Klein 1932
Gödel 1932k: Introductory note to 1932k, 1934e and 1936b Stephen C. Kleene
Review of Church 1932
Gödel 1932l: Review of Kalmár 1932
Gödel 1932m: Review of Huntington 1932
Gödel 1932n: Review of Skolem 1932
Gödel 1932o: Review of Dingler 1931
Gödel 1933: Introductory note to 1933 W. V. Quine
[[Über die Parryschen Axiome]]
[[On Parry's axioms]]
Gödel 1933a: Introductory note to 1933a W. V. Quine
Über Unabhängigkeitsbeweise im Aussagenkalkül
On independence proofs in the propositional calculus
Gödel 1933b: Introductory note to 1933b, c, d, g and h Judson Webb
Über die metrische Einbettbarkeit der Quadrupel des R[3 in Kugelflächen
On the isometric embeddability of quadruples of points of R[3 in the surface of a sphere
Gödel 1933c: (See introductory note under Gödel 1933b.)
Über die Waldsche Axiomatik des Zwichenbegriffes
On Wald's axiomization of the notion of betweenness
Gödel 1933d: (See introductory note under Gödel 1933b.)
Zur Axiomatik der elementargeometrischen Verknüpfungs-relationen
On the axiomatization of the relations of connection in elementary geometry
Gödel 1933e: Introductory note to 1933e A. S. Troelstra
Zur institutionistischen Arithmetik und Zahlentheorie
On intuitionistic arithmetic and number theory
Gödel 1933f: Introductory note to 1933f A. S. Troelstra
Eine Interpretation des institutionistischen Aussagenkalküls
An interpretation of the intuitionistic propositional calculus
Gödel 1933g: (See introductory note under Gödel 1933b.)
Bemerkung über projektive Abbildungen
Remark concerning projective mappings
Gödel 1933h: (See introductory note under Gödel 1933b.)
Diskussion über koordinatenlose Differentialgeometrie
Discussion concerning coordinate-free differential geometry
Gödel 1933i: (See introductory note under Gödel 1932a.)
Zum Enscheidungsproblem des logischen Funktionenkalküls
On the decision probelm for the functional calculus of logic
Gödel 1933j: Review of Kaczmarz 1932
Gödel 1933k: Review of Lewis 1932
Gödel 1933l: (See introductory note under Gödel 1932a.)
Review of Kalmár 1933
Gödel 1933m: Review of Hahn 1932
Gödel 1934: Introductory note to 1934 Stephen C. Kleene
On undecidable propositions of formal mathematical systems
Gödel 1934a: Review of Skolem 1933
Gödel 1934b: Introductory note to 1934b W. V. Quine
Review of Quine 1933
Gödel 1934c: Introductory note to 1934c and 1935 Robert L. Vaught
Review of Skolem 1933a
Gödel 1934d: Review of Chen 1933
Gödel 1934e: (See introductory note under Gödel 1932k.)
Review of Church 1933
Gödel 1934f: Review of Notcutt 1934
Gödel 1935: (See introductory note under Gödel 1934c.)
Review of Skolem 1934
Gödel 1935a: Introductory note to 1935a W. V. Quine
Review of Huntington 1934
Gödel 1935b: Review of Carnap 1934
Gödel 1935c: Review of Kalmár 1934
Gödel 1936: Introductory note to 1936 John W. Dawson, Jr.
Diskussionsbemerkung
Discussion remark
Gödel 1936a: Introductory note to 1936a Rohit Parikh
Über die Länge von Beweisen
On the length of proofs
Gödel 1936b: (See introductory note under Gödel 1932k.)
Review of Church 1935
Textual notes
References
Index