A Beginner's Guide to Mathematical Logic (English, Electronic book text, Smullyan Raymond M Professor of Philosophy)