Kurt Godel, collected works: publications 1929-1936, vol. I

Table of contents

Godel's life and work
A Godel chronology
Godel 1929: Introductory note to 1929, 1930 and 1930a
Uber die VollstÃ?ndigkeit des LogikkalkÃ?ls
On the completeness of the calculus of logic
Godel 1930: (See introductory note under Godel 1929.)
Die VollstÃ?ndigkeit der Axiome des logischen FunktionenkalkA?ls
The completeness of the axioms of the functional calculus of logic
Godel 1930a: (See introductory note under Gödel 1929.)
Uber die VollstÃ?ndigkeit des LogikkalkÃ?ls.
On the completeness of the calculus of logicGödel 1930b: Introductory note to 1930b, 1931 and 1932b
Einige metamathematische Resultate Ã?ber Entscheidungsdefinitheit und Widerspruchsfreiheit
Some metamathematical results on completeness and consistency
Godel 1931: (See introductory note under Gödel 1930b.)
Uber formal unentscheidbare SÃ?tze der Principia mathematica und verwandter Systeme I
On formally undecidable propositions of Principia mathematica and related systems I
Godel 1931a: Introductory note to 1931a, 1932e, f and g.
Diskussion zur Grundlegung der MathematikDiscussion on providing a foundation for mathematics
Godel 1931b: Review of Neder 1931
Godel 1931c: Introductory note to 1931c
Review of Hilbert 1931
Godel 1931d: Review of Betsch 1926
Godel 1931e: Review of Becker 1930
Godel 1931f: Review of Hasse and Scholz 1928
Godel 1931g: Review of von Juhos 1930
Godel 1932: Introductory note to 1932
Zum intuitionistischen Aussagenkalka?l
On the intuitionistic prepositional calculus
Godel 1932a: Introductory note to 1932a, 1933i and l.
Ein Spezialfall des Entscheidungsproblems der theoretischen LogikA special case of the decision problem for theoretical logic
Godel 1932b: (See introductory note under Gödel 1930b.)
Uber VollstAa?ndigkeit und Widerspruchsfreiheit
On completeness and consistency
Godel 1932c: Introductory note to 1982c
Eine Eigenschaft der Realisierungen des AussagenkalkA?ls
A property of the realizations of the propositional calculus
Godel 1932d: Review of Skolem 1931
Godel 1932e: (See introductory note under Gödel 1931a.)
Review of Carnap 1931.
Godel 1932f: (See introductory note under Gödel 1931a.)Review of Heyting 1931
Godel 1932g: (See introductory note under Gödel 1931a.)
Review of von Neumann 1931
Godel 1932h: Review of Klein 1931
Godel 1932i: Review of Hoensbroech 1931
Godel 1932j: Review of Klein 1932
Godel 1932k: Introductory note to 1932k, 1934e and 1936b
Review of Church 1932
Godel 1932l: Review of Kalmár 1932
Godel 1932m: Review of Huntington 1932
Godel 1932n: Review of Skolem 1932
Godel 1932o: Review of Dingler 1931.

The initial volume of a comprehensive edition of Gödel's works, this book makes available for the first time in a single source all his publications from 1929 to 1936. The volume begins with an informative overview of Gödel's life and work and features facing English translations for all German originals, extensive explanatory and historical notes, and a complete biography. Volume 2 will contain the remainder of Gödel's published work, and subsequent volumes will include unpublished manuscripts, lectures, correspondence and extracts from the notebooks.

https://global.oup.com/academic/product/collected-works-9780195147209?cc=us&lang=en&