Introduction to logic - Copeland, Robert A. (New Delhi, 2000)