Big Red Logic Book, no. 3?

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.

Leave a Comment

Your email address will not be published.

Scroll to Top