A Beginner's Further Guide to Mathematical Logic