Another Logic Textbook
Strolling through the library, I just came across George Tourlakis' Lectures in Logic and Set Theory. I wouldn't recommend it as a textbook for logic courses in philosophy, unless you want to torture your students with a full proof of Gödel's Second Incompleteness Theorem. But it's nice to have that proof available somewhere. The second volume on set theory (unfortunately only on ZFC) also looks useful, if only because there are so few thoroughgoing introductions to set theory.