An introduction to symbolic logic - Langer, Susanne Katherina (Dover Publications, 1953)