CUP have agreed to publish a second edition of An Introduction to Gödel’s Theorems. Copy is due by the end of July 2012, with publication six months or so later: that schedule is slipping though. I have a slightly larger page budget, but don’t at the moment plan on adding chapters covering much new material: the aim will be to do what the current edition does, but do it better. I also plan (at last!) to have a proper sequence of sets of exercises, but here on the web-site, as there isn’t room even in an expanded book.
On this page, I’ll occasionally post excerpts of new material, as the project develops. Currently available, there is a main single document containing
- The revised Chapters 1 to 13 (replacing the current Chs 1 to 11))
Also, just for reference, I have posted
- The table of contents for the currently revised chapters, as posted here.
- The bibliography for the whole book.
All comments either about the revised chapters or more generally how the book might be improved/augmented/revised will be most gratefully received. Please email them, rather than post here (my email address is at the bottom of the “About Peter Smith” page.