Kurt Godel
Solomon Feferman is Professor of Mathematics and Philosophy at Stanford University.

John W. Dawson Jr is Professor of Mathematics at Penn State York University.
Warren Goldfarb is Walter Beverly Pearson Professor of Modern Mathematics and Mathematical Logic at Harvard University.

Charles Parsons is Edgar Pierce Emeritus Professor of Philosophy at Harvard University.

Wilfried Sieg is Patrick Suppes Professor of Philosophy at Carnegie Mellon Unviersity.

List of illustrations
Leon Henkin: introductory note and correspondence, Akihiro Kanamori
Jacques Herbrand: introductory note and correspondence, Wilfried Sieg
Arend Heyting: introductory note and correspondence, Charles Parsons
Ted Honderich: introductory note and correspondence
Ralph Hwastecki: introductory note and correspondence, John W. Dawson Jr
Karl Menger: introductory note and correspondence, John W. Dawson Jr
Ernest Nagel: introductory note and correspondence, Wilfried Sieg
Donald Perlis: introductory note and correspondence, Solomon Feferman
Walter Pitts: introductory note and correspondence, Charles Parsons
David F. Plummer: introductory note and correspondence, John W. Dawson Jr
Karl Popper: introductory note and correspondence, Warren Goldfarb
Emil L. Post: introductory note and correspondence, Wilfried Sieg
Leon Rappaport: introductory note and correspondence, John W. Dawson Jr
Wolfgang Rautenberg: introductory note and correspondence, Charles Parsons
Constance Reid: introductory note and correspondence, Solomon Feferman
Abraham Robinson: introductory note and correspondence, Moshe Machover
Bertrand Russell: introductory note and correspondence, Warren Goldfarb
Frederick W. Sawyer: introductory note and correspondence, Warren Goldfarb
Paul Arthur Schilpp: introductory note and correspondence, Warren Goldfarb
Carl Seeling: introductory note and correspondence, David B. Malament
Thoralf Skolem: introductory note and correspondence, Jens Erik Fenstad
Patrick Suppes: introductory note and correspondence, Solomon Feferman
Alfred Tarski: introductory note and correspondence, Solomon Feferman
Hans Thirring: introductory note and correspondence, John W. Dawson Jr
Stanislaw Ulam: introductory note and correspondence, Akihiro Kanamori
Jean van Heijenoort: introductory note and correspondence, Warren Goldfarb
John von Neumann: introductory note and correspondence, Wilfried Sieg
Hao Wang: introductory note and correspondence, Charles Parsons
Ernst Zermelo: introductory note and correspondence, John W. Dawson Jr
Calendars of correspondence
Appendix A: Letters by others written on Godel's behalf
Appendix B: (1974a) Alternate version of Remark 3 of 1972a
Textual notes
Referenes
Index