I’ve had a wonderful response to the invitation here to proof-read/comment on chunks of Gödel Mark II, enough to ensure that every chapter will be covered at least a couple of times. There was a (very) small bribe attached: but quite a few made friendly offers saying that they’d like to join in as they had enjoyed the first edition. Which is very nice to know! Corrections and suggestions from these new recruits assigned early chapters to review are already beginning to arrive, to add to those from some previous much-valued correspondents, as I finishing tinkering with the last chapters. Just terrific. It’s going to be a very busy few weeks ahead, but the book will end up a lot better for it.
The possibility of this kind of supportive exchange via the internet, and the availability of wonderful resources like mathoverflow.net of math.stackexchange.com, make trying to write a logic book in 2012 so very much more enjoyable (and a much less stressful experience) than even ten years ago. Many thanks to all my virtual logical colleagues out there!