Symbolic logic - Copi, Irving (McMillan, 1979)