A heads up, as they say. Jeremy Avigad’s new book Mathematical Logic and Computation has now been published by CUP (or at least, an e-version is already available on the Cambridge Core system if you have access — with the hardback due soon). Here’s a link to the front matter of the book, which gives you the Table of Contents and the Preface. Between them, they give you a fair idea of the coverage of the book.
As you’d expect from this author, this book is very worth having, an excellent addition to the literature, with plenty more than enough divergences and side-steps from the more well-trodden paths through the material to be consistently interesting. Having quickly read a few chapters, and dipped into a few more, I’d say that the treatments of topics, though very clear, are often rather on the challenging side (Avigad’s Carnegie Mellon gets very high-flying students in this area!). For example, the chapters on FOL would probably be best tackled by someone who has already done a course based on something like Enderton’s classic text. But that’s not a complaint, just an indication of the level of approach.
When the physical version becomes available — so much easier to navigate! — I’m going to enjoy settling down to a careful read through, and maybe will comment in more detail here. Meanwhile, this is most certainly a book to make sure your library gets.