I was intending to post Chapter 17 today — the final chapter, dealing with Löb’s Theorem and related results. But looking again at my draft version yesterday, I thought it was/is rather a mess, and that some of the material is even in the wrong chapter. So some not-quite-trivial rewriting is needed. It will be a day or two before I can get down to doing that.
Meanwhile, many thanks to all those (some here, more by email) who have sent corrections and comments and suggestions about earlier chapters. I’ll try to get a revised version of the whole thing, plus suggestions for further reading, and an index, done by the middle of next month. And then delight the world with another Big Red Logic Book …