Kurt Gödel: Collected Works: Volume IV

Solomon Feferman is Professor of Mathematics and Philosophy at Stanford UniversityJohn W. Dawson is Professor of Mathematics at Penn State York UniversityWarren Goldfarb is Walter Beverly Pearson Professor of Modern Mathematics and Mathematical Logic at Harvard UniversityCharles Parsons is Edgar Pierce Emeritus Professor of Philosophy at Harvard UniversityWilfried Sieg is Patrick Suppes Professor of Philosophy at Carnegie Mellon Unviersity

Review from other book by this author Gödel would probably have been pleased ... The set should be of interest to professionals and students in the area of logic, mathematics, philosophy, history of science, computer science and to some non-specialists with a background in science and/or logic. For all university level libraries and for large public and college library collections.

• List of Illustrations ; Allan Angoff: introductory note and corresondence ; Yossef Balas: introductory note and corresondence ; Heinrich Behmann: introductory note and corresondence ; Paul Bernays: introductory note and corresondence ; Kenneth Blackwell: introductory note and corresondence ; Herbert G. Bohnert: introductory note and corresondence ; William Boone: introductory note and corresondence ; Georg Brutian: introductory note and corresondence ; J. Richard Buchi: introductory note and corresondence ; Rudolph Carnap: introductory note and corresondence ; Alonzo Church: introductory note and corresondence ; Paul J. Cohen: introductory note and corresondence ; Burton Dreben: introductory note and corresondence ; Herbert Feigl: introductory note and corresondence ; Paul Finsler: introductory note and corresondence ; Wilson Follett: introductory note and corresondence ; Leonard Goddard: introductory note and corresondence ; Marianne Godel: introductory note and corresondence ; Burke D. Grandjean: introductory note and corresondence ; Marvin Jay Greenberg: introductory note and corresondence ; Gotthard Gunther: introductory note and corresondence ; Calendars of Correspondence ; Textual notes ; References ; Addenda and corrigenda to volumes I-III