Beginner's Further Guide To Mathematical Logic, A