Symbolic logic - Copi, Irving M. (Macmillan New York, 1973)