I have now revised three more segments of Gödel Without (Too Many) Tears. I’m still aiming to get a second edition out by the end of October.
So here is the whole first third of what will be GWT2, now taking us up to and including the first Interlude. The chapter introducing Peano Arithmetic has been quite significantly revised from the current printed version; the chapter on Quantifier Complexity gets some minor tweaks; and the following Interlude is hardly changed at all. Many thanks once again to David Furcy for corrections and suggestions.
I‘m not entirely sure, as I read through, that I’d write the book quite the same way if I were starting all over again from scratch. But no matter: the plan is to improve the current book, not to write a different one!