I've now done the corrections for the second printing of the Gödel book. A slightly disconcerting business as -- even on a quick trawl through a few chapters -- I found more that I felt needed changing (on top of the necessary corrections that others had alerted me to) than I had expected. I'm left, then, with the feeling that there must be a lot more that ought to be corrected/improved. But I had to call a halt to the revisions, and at least the second printing will be better than the first, even if not perfect. It should be available in a few weeks. Watch this space for more info about that too.