← An Introduction to Symbolic Logic