An introduction to symbolic logic - Langer, Susanne K. (Dover Publications, 1957)