Symbolic logic - Copi, Irving M (Prentice Hall of India, 1997)