Kurt Gödel: Collected Works: Volume I

• Gödel's life and workSolomon Feferman: A Gödel chronologyJohn W. Dawson, Jr.: Gödel 1929: Introductory note to 1929, 1930 and 1930aBurton Dreben and Jean van Heijenoort: Über die Vollständigkeit des LogikkalkülsOn the completeness of the calculus of logicGödel 1930: (See introductory note under Gödel 1929.)Die Vollständigkeit der Axiome des logischen FunktionenkalkülsThe completeness of the axioms of the functional calculus of logicGödel 1930a: (See introductory note under Gödel 1929.)Über die Vollständigkeit des LogikkalkülsOn the completeness of the calculus of logicGödel 1930b: Introductory note to 1930b, 1931 and 1932bStephen C. Kleene: Einige metamathematische Resultate über Entscheidungs-definitheit und WiderspruchsfreiheitSome metamathematical results on completeness and consistencyGödel 1931: (See introductory note under Gödel 1930b.)Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme IOn formally undecidable propositions of Principia mathematica and related systems IGödel 1931a: Introductory note to 1931a, 1932e, f and gJohn W. Dawson, Jr.: Diskussion zur Grundlegung der MathematikDiscussion on providing a foundation for mathematicsGödel 1931b: Review of Neder 1931Gödel 1931c: Introductory note to 1931cSolomon Feferman: Review of Hilbert 1931Gödel 1931d: Review of Betsch 1926Gödel 1931e: Review of Becker 1930Gödel 1931f: Review of Hasse and Scholz 1928Gödel 1931g: Review of von Juhos 1930Gödel 1932: Introductory note to 1932A. S. Troelstra: Zum intuitionistischen aussagenkalkülOn the intuitionistic propositional calculusGödel 1932a: Introductory note to 1932a, 1933i and lWarren D. Goldfarb: Ein Spezialfall des Enscheidungsproblems der theoretischen LogikA special case of the decision problem for theoretical logicGödel 1932b: (See introductory note under Gödel 1930b.)Über Vollständigkeit und WiderspruchsfreiheitOn completeness and consistencyGödel 1932c: Introductory note to 1932cW. V. Quine: Eine Eigenschaft der Realisierungen des AussagenkalkülsA property of the realizations of the propositional calculusGödel 1932d: Review of Skolem 1931Gödel 1932e: (See introductory note under Gödel 1931a.)Review of Carnap 1931Gödel 1932f: (See introductory note under Gödel 1931a.)Review of Heyting 1931Gödel 1932g: (See introductory note under Gödel 1931a.)Review of von Neumann 1931Gödel 1932h: Review of Klein 1931Gödel 1932i: Review of Hoensbroech 1931Gödel 1932j: Review of Klein 1932Gödel 1932k: Introductory note to 1932k, 1934e and 1936bStephen C. Kleene: Review of Church 1932Gödel 1932l: Review of Kalmár 1932Gödel 1932m: Review of Huntington 1932Gödel 1932n: Review of Skolem 1932Gödel 1932o: Review of Dingler 1931Gödel 1933: Introductory note to 1933W. V. Quine: [[Über die Parryschen Axiome]][[On Parry's axioms]]Gödel 1933a: Introductory note to 1933aW. V. Quine: Über Unabhängigkeitsbeweise im AussagenkalkülOn independence proofs in the propositional calculusGödel 1933b: Introductory note to 1933b, c, d, g and hJudson Webb: Über die metrische Einbettbarkeit der Quadrupel des R[3 in KugelflächenOn the isometric embeddability of quadruples of points of R[3 in the surface of a sphereGödel 1933c: (See introductory note under Gödel 1933b.)Über die Waldsche Axiomatik des ZwichenbegriffesOn Wald's axiomization of the notion of betweennessGödel 1933d: (See introductory note under Gödel 1933b.)Zur Axiomatik der elementargeometrischen Verknüpfungs-relationenOn the axiomatization of the relations of connection in elementary geometryGödel 1933e: Introductory note to 1933eA. S. Troelstra: Zur institutionistischen Arithmetik und ZahlentheorieOn intuitionistic arithmetic and number theoryGödel 1933f: Introductory note to 1933fA. S. Troelstra: Eine Interpretation des institutionistischen AussagenkalkülsAn interpretation of the intuitionistic propositional calculusGödel 1933g: (See introductory note under Gödel 1933b.)Bemerkung über projektive AbbildungenRemark concerning projective mappingsGödel 1933h: (See introductory note under Gödel 1933b.)Diskussion über koordinatenlose DifferentialgeometrieDiscussion concerning coordinate-free differential geometryGödel 1933i: (See introductory note under Gödel 1932a.)Zum Enscheidungsproblem des logischen FunktionenkalkülsOn the decision probelm for the functional calculus of logicGödel 1933j: Review of Kaczmarz 1932Gödel 1933k: Review of Lewis 1932Gödel 1933l: (See introductory note under Gödel 1932a.)Review of Kalmár 1933Gödel 1933m: Review of Hahn 1932Gödel 1934: Introductory note to 1934Stephen C. Kleene: On undecidable propositions of formal mathematical systemsGödel 1934a: Review of Skolem 1933Gödel 1934b: Introductory note to 1934bW. V. Quine: Review of Quine 1933Gödel 1934c: Introductory note to 1934c and 1935Robert L. Vaught: Review of Skolem 1933aGödel 1934d: Review of Chen 1933Gödel 1934e: (See introductory note under Gödel 1932k.)Review of Church 1933Gödel 1934f: Review of Notcutt 1934Gödel 1935: (See introductory note under Gödel 1934c.)Review of Skolem 1934Gödel 1935a: Introductory note to 1935aW. V. Quine: Review of Huntington 1934Gödel 1935b: Review of Carnap 1934Gödel 1935c: Review of Kalmár 1934Gödel 1936: Introductory note to 1936John W. Dawson, Jr.: DiskussionsbemerkungDiscussion remarkGödel 1936a: Introductory note to 1936aRohit Parikh: Über die Länge von BeweisenOn the length of proofsGödel 1936b: (See introductory note under Gödel 1932k.)Review of Church 1935Textual notesReferencesIndex

This book is unique, and every philosopher or historian of logic will be determined to possess it.