I’m getting back down to work on the second edition of An Introduction to Gödel’s Theorems. One thing I plan to do is to put up some pages of exercises as I go along, which I’ve been meaning to do for ages, but takes a surprising amount of time. Watch this space.
Meanwhile, one interim thing I’ve just done is put online a major update to the corrections page for the latest printing(s) of the first edition. The corrections are almost all due to Orlando May, who has evidently been reading the book with a quite preternaturally accurate eye. I’m most grateful.
If anyone else has anything to add, large or small, about how to improve the book next time around, then of course I’ll again be more than grateful!