An Introduction to Symbolic Logic by Susanne K. Langer