This is the first volume of a comprehensive edition of the works of Kurt Godel, the most outstanding logician of the 20th century.

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.

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