Symbolic logic - COPI, Iruing, M. (New Delhi Prentice Hall of India, 1979)