I've been trying to decide on a mathematical logic textbook to teach myself a bit. I'm taking a course on it next semester, but I have never had a logic course before (I've had some CS courses though and proof-y math courses). I'm also taking a modal logic course the semester after math logic...