An Introduction to Symbolic Logic - Langer, Susanne K. (Dover, 1953)