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