A Beginner’s Guide to Mathematical Logic