Kurt Goedel: Collected Works: Volume I

Goedel's life and workSolomon Feferman:
A Goedel chronologyJohn W. Dawson, Jr.:
Goedel 1929: Introductory note to 1929, 1930 and 1930aBurton Dreben and Jean van Heijenoort:
UEber die Vollstaendigkeit des Logikkalkuels
On the completeness of the calculus of logic
Goedel 1930: (See introductory note under Goedel 1929.)
Die Vollstaendigkeit der Axiome des logischen Funktionenkalkuels
The completeness of the axioms of the functional calculus of logic
Goedel 1930a: (See introductory note under Goedel 1929.)
UEber die Vollstaendigkeit des Logikkalkuels
On the completeness of the calculus of logic
Goedel 1930b: Introductory note to 1930b, 1931 and 1932bStephen C. Kleene:
Einige metamathematische Resultate ueber Entscheidungs-definitheit und Widerspruchsfreiheit
Some metamathematical results on completeness and consistency
Goedel 1931: (See introductory note under Goedel 1930b.)
UEber formal unentscheidbare Saetze der Principia mathematica und verwandter Systeme I
On formally undecidable propositions of Principia mathematica and related systems I
Goedel 1931a: Introductory note to 1931a, 1932e, f and gJohn W. Dawson, Jr.:
Diskussion zur Grundlegung der Mathematik
Discussion on providing a foundation for mathematics
Goedel 1931b: Review of Neder 1931
Goedel 1931c: Introductory note to 1931cSolomon Feferman:
Review of Hilbert 1931
Goedel 1931d: Review of Betsch 1926
Goedel 1931e: Review of Becker 1930
Goedel 1931f: Review of Hasse and Scholz 1928
Goedel 1931g: Review of von Juhos 1930
Goedel 1932: Introductory note to 1932A. S. Troelstra:
Zum intuitionistischen aussagenkalkuel
On the intuitionistic propositional calculus
Goedel 1932a: Introductory note to 1932a, 1933i and lWarren D. Goldfarb:
Ein Spezialfall des Enscheidungsproblems der theoretischen Logik
A special case of the decision problem for theoretical logic
Goedel 1932b: (See introductory note under Goedel 1930b.)
UEber Vollstaendigkeit und Widerspruchsfreiheit
On completeness and consistency
Goedel 1932c: Introductory note to 1932cW. V. Quine:
Eine Eigenschaft der Realisierungen des Aussagenkalkuels
A property of the realizations of the propositional calculus
Goedel 1932d: Review of Skolem 1931
Goedel 1932e: (See introductory note under Goedel 1931a.)
Review of Carnap 1931
Goedel 1932f: (See introductory note under Goedel 1931a.)
Review of Heyting 1931
Goedel 1932g: (See introductory note under Goedel 1931a.)
Review of von Neumann 1931
Goedel 1932h: Review of Klein 1931
Goedel 1932i: Review of Hoensbroech 1931
Goedel 1932j: Review of Klein 1932
Goedel 1932k: Introductory note to 1932k, 1934e and 1936bStephen C. Kleene:
Review of Church 1932
Goedel 1932l: Review of Kalmar 1932
Goedel 1932m: Review of Huntington 1932
Goedel 1932n: Review of Skolem 1932
Goedel 1932o: Review of Dingler 1931
Goedel 1933: Introductory note to 1933W. V. Quine:
[[UEber die Parryschen Axiome]]
[[On Parry's axioms]]
Goedel 1933a: Introductory note to 1933aW. V. Quine:
UEber Unabhaengigkeitsbeweise im Aussagenkalkuel
On independence proofs in the propositional calculus
Goedel 1933b: Introductory note to 1933b, c, d, g and hJudson Webb:
UEber die metrische Einbettbarkeit der Quadrupel des R[3 in Kugelflaechen
On the isometric embeddability of quadruples of points of R[3 in the surface of a sphere
Goedel 1933c: (See introductory note under Goedel 1933b.)
UEber die Waldsche Axiomatik des Zwichenbegriffes
On Wald's axiomization of the notion of betweenness
Goedel 1933d: (See introductory note under Goedel 1933b.)
Zur Axiomatik der elementargeometrischen Verknuepfungs-relationen
On the axiomatization of the relations of connection in elementary geometry
Goedel 1933e: Introductory note to 1933eA. S. Troelstra:
Zur institutionistischen Arithmetik und Zahlentheorie
On intuitionistic arithmetic and number theory
Goedel 1933f: Introductory note to 1933fA. S. Troelstra:
Eine Interpretation des institutionistischen Aussagenkalkuels
An interpretation of the intuitionistic propositional calculus
Goedel 1933g: (See introductory note under Goedel 1933b.)
Bemerkung ueber projektive Abbildungen
Remark concerning projective mappings
Goedel 1933h: (See introductory note under Goedel 1933b.)
Diskussion ueber koordinatenlose Differentialgeometrie
Discussion concerning coordinate-free differential geometry
Goedel 1933i: (See introductory note under Goedel 1932a.)
Zum Enscheidungsproblem des logischen Funktionenkalkuels
On the decision probelm for the functional calculus of logic
Goedel 1933j: Review of Kaczmarz 1932
Goedel 1933k: Review of Lewis 1932
Goedel 1933l: (See introductory note under Goedel 1932a.)
Review of Kalmar 1933
Goedel 1933m: Review of Hahn 1932
Goedel 1934: Introductory note to 1934Stephen C. Kleene:
On undecidable propositions of formal mathematical systems
Goedel 1934a: Review of Skolem 1933
Goedel 1934b: Introductory note to 1934bW. V. Quine:
Review of Quine 1933
Goedel 1934c: Introductory note to 1934c and 1935Robert L. Vaught:
Review of Skolem 1933a
Goedel 1934d: Review of Chen 1933
Goedel 1934e: (See introductory note under Goedel 1932k.)
Review of Church 1933
Goedel 1934f: Review of Notcutt 1934
Goedel 1935: (See introductory note under Goedel 1934c.)
Review of Skolem 1934
Goedel 1935a: Introductory note to 1935aW. V. Quine:
Review of Huntington 1934
Goedel 1935b: Review of Carnap 1934
Goedel 1935c: Review of Kalmar 1934
Goedel 1936: Introductory note to 1936John W. Dawson, Jr.:
Diskussionsbemerkung
Discussion remark
Goedel 1936a: Introductory note to 1936aRohit Parikh:
UEber die Laenge von Beweisen
On the length of proofs
Goedel 1936b: (See introductory note under Goedel 1932k.)
Review of Church 1935
Textual notes
References
Index