Symbolic logic - Copi, Irving M. (Prentice Hall, 1979)