Beginner's Guide to Mathematical Logic by Raymond M. Smullyan