I worked through more of Leary and Kristiansen’s logic book.

I also read a bit of Chiswell and Hodges’s logic book, to see what it’s like. (Peter Smith recommends both of these books for this level of first-order logic.) I think I have a preference for Leary and Kristiansen’s book, so I am planning to make that one my “main book” for now and only referring to Chiswell and Hodges as a supplement.

I also read a bit more of Peter Smith’s Gödel book.