Symbolic logic - Lewis, Clarence Irving (Dover Publications, 1959)