Logic, Propositional - Computer Science and Engineering

3 downloads 124 Views 587KB Size Report
mu ms MATERlAL MAY I! m ... C. J. Hogger, Introduction to Logic Programming, Academic ..... I. M. Copi, Symbolic Logic, 5th ed., Macmillan, New York, 1979.