OK, I’ve at last really started what I’ve been promising to do ever since my Gödel book finally went to press, namely get sets of exercises up onto the book’s website. There’s now a slightly improved set of exercises for Chapter 2, and a brand new set for Chapter 3. And I’ll try to keep going with a new set every few days for a while so that there is a decent array before the autumn term/semester starts.
In fact, constructing the exercises is always the thing that takes the thought: putting together solutions just takes a bit of time, and I hope to start doing that in spare moments fairly soon too.