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