Title: Beginner's Guide to Theoretical Logic