An introduction to symbolic logic - Langer, Susanne Katherina Knauth, (Houghton Mifflin, 1937)