Symbolic Logic - Copi, Irving m (Prentice-Hall of India, 1998)