I’m interleaving two projects at the moment, spending time on one or the other as the mood takes me. One project is to update the messy draft notes Category Theory II. The other is to revise and improve the Beginning Mathematical Logic Study Guide.
The Guide gives topic-by-topic recommendations for reading on various areas of math logic. Early versions had an Appendix which also looked, book-by-book, at some of the Big Texts that covered more than one area. That Appendix has stayed online, but has been left untouched for the better part of a decade. Yet it gets downloaded pretty steadily, about a fifth as often as the main Guide (so between three and four hundred times a month, if we can believe the stats counter, which I don’t).
At long last, there’s a new version of the Appendix, now in the same format as the Guide. I’ve updated the entry on Ebbinghaus, Flum and Thomas, and added entries on Mileti and Avigad (basically from the blog posts here). I’ll be adding/revising more over the coming three months or so as I do more (re)reading as background homework for revising the Guide.
What other good books published in, say, the last twenty years and not yet mentioned in the Appendix should I take another look at? Rautenberg, for sure. Kaye’s The Mathematics of Logic and Kunen’s The Foundations of Mathematics are certainly worth a revisit. But what other suggestions of wider ranging, near-entry-level books are there?