I worked through the proof of completeness of first-order logic in Goldrei and Leary & Kristiansen. I think I was able to resolve one of the questions I had about the proof (namely, why it is that we iterate the process of adding constants rather than just adding constants once). I then started working through some of the exercises in Leary & Kristiansen for that section.