Collected works Vol. 1-5

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.