Here is the first main chapter of the Study Guide, on First-Order Logic. Nothing much has changed in the recommendations (or the occasional disparaging comments about non-recommended books!). However, the surrounding chat has been tidied up. I have in particular heeded a friendly warning about “mission creep” (the overview sections were getting too long, too detailed — especially about various proof-systems). So I hope the balance is improved.
One comment (which I have also now added to Chapter 1 — the section on “Choices, choices” where I say something about how I have decided which texts to recommend). If I were choosing a text book around which to shape a lecture course on FOL, or some other topic, I would no doubt be looking at many of the same books that I mention in the Guide; but my preference-rankings could well be rather different. So, to emphasize, the recommendations in this Guide are for books which I think should be particularly good for self-studying logic, without the benefit of classroom introductions or backup.
This chapter looks very good to me.
One point to mention that I just thought of is Jeffrey’s Formal Logic: Its Scope and Limits. I don’t think I’ve ever seen it referred to in the guide, but I just checked and you do call it wonderful a few times in various blogposts over the years. Do you think it warrants a mention in either this section or the first pass at incompleteness and computability? Or neither?
I suppose I’ve been thinking of Jeffrey’s book as intro-for-philosophers level. But then of course there are indeed parts of the book that are really in math logic territory (e.g. the treatment of completeness for tableaux, and Gödel later). So maybe I should indeed take another look and mention it!