Logic An introduction - Jain, Krishna (Delhi, 1998)