Kurt Gödel: Collected Works: Volume V

Solomon Feferman is Professor of Mathematics and Philosophy at Stanford UniversityJohn W. Dawson Jr 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, phiosophy, 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 ; Leon Henkin: introductory note and correspondence ; Jacques Herbrand: introductory note and correspondence ; Arend Heyting: introductory note and correspondence ; Ted Honderich: introductory note and correspondence ; Ralph Hwastecki: introductory note and correspondence ; Karl Menger: introductory note and correspondence ; Ernest Nagel: introductory note and correspondence ; Donald Perlis: introductory note and correspondence ; Walter Pitts: introductory note and correspondence ; David F. Plummer: introductory note and correspondence ; Karl Popper: introductory note and correspondence ; Emil L. Post: introductory note and correspondence ; Leon Rappaport: introductory note and correspondence ; Wolfgang Rautenberg: introductory note and correspondence ; Constance Reid: introductory note and correspondence ; Abraham Robinson: introductory note and correspondence ; Bertrand Russell: introductory note and correspondence ; Frederick W. Sawyer: introductory note and correspondence ; Paul Arthur Schilpp: introductory note and correspondence ; Carl Seeling: introductory note and correspondence ; Thoralf Skolem: introductory note and correspondence ; Patrick Suppes: introductory note and correspondence ; Alfred Tarski: introductory note and correspondence ; Hans Thirring: introductory note and correspondence ; Stanislaw Ulam: introductory note and correspondence ; Jean van Heijenoort: introductory note and correspondence ; John von Neumann: introductory note and correspondence ; Hao Wang: introductory note and correspondence ; Ernst Zermelo: introductory note and correspondence ; 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