Title: Beginner's Guide to Higher Logic