Collected Works Volume I Publications 1929-1936 [Paperback]

Kurt G?del (1906-1978) was the most outstanding logician of the twentieth century, noted for G?del's theorem, a hallmark of modern mathematics. TheCollected Workswill include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of G?del's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individual articles and other material, commenting upon their contents and placing them within a historical framework. This long-awaited project is of great significance to logicians, mathematicians, philosophers and historians.

G?del's life and workSolomon Feferman
A G?del chronologyJohn W. Dawson, Jr.
G?del 1929: Introductory note to1929,1930and1930aBurton 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 underG?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 underG?del 1929.)
?ber die Vollst?ndigkeit des Logikkalk?ls
On the completeness of the calculus of logic
G?del 1930b: Introductory notel$