This book makes available all Godel's his publications from 1929 to 1936. The volume begins with an informative overview of Godel's life and work and features facing English translations for all German originals, extensive explanatory and historical notes, and a complete biography. Volume 2 contains the remainder of Godel's published work.

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. The Collected Works will 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.

The books are carefully and beautifully produced and offer rich material, illuminating not only the outstanding work of Gödel, but also the whole mathematical logic of the twentieth century, including some philosophical and historical aspects.