Symbolic logic - Lewis, Clarence Irving; Langford, Cooper Harold (Dover, 1959)