Symbolic logic - Lewis, Clarence Irving (Dover Pub., 1959)