The Deduction Theorem Prof. Deepak Khemani, Department of Computer Science & Engineering, Indian Institute of Technology Madras, Artificial Intelligence:Knowledge Representation and Reasoning
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
