Well, not quite yet! But I’ll finish a draft update of Gödel Without (Too Many) Tears in the next couple of weeks or so.
Of course, I find myself tinkering more than I predicted I would, and adding a few bits and pieces. But what’s new? And I must try to keep things under control as I want these spruced-up lecture notes to stay reasonably short – no more than a third of the length of IGT, preferably less.
In September, I’ll post the new draft chapter by chapter here, one chapter a day, ideally hoping for some student feedback as we go along, pointing up any bits that don’t work too well (I’ll advertise). Then I’ll do a revised version, add a guide to further reading and an index, et voilà – there will be another Big Red Logic Book.