A Guide to Mathematical Logic by Raymond M. Smullyan