A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
A Beginner's Further Guide to Mathematical Logic