I continued with logic, working out of Goldrei’s book (soundness theorem and some peripheral results).

I also started going through the Henkin proof of completeness (for first-order logic) in Leary and Kristiansen’s book. There’s a lot of stuff going on in this proof, so I’m planning to go through it multiple times (Ankifying as I go).