You might want to also look at Raymond Smullyan's "Beginner's Guide to Mathematical Logic", and "Beginner's Further Guide". I got hung up at the first order logic section, and the Axiomatic Logic is tough, but he includes a lot of topics and how they interrelate.