An Introduction to symbolic logic - Langer, Susanne K. (Dover Publications, 1953)