Symbolic logic - Thomas, James A. (Merril, 1977)