ISBN 0198537468 books & textbook
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Gabbay, Dov M. Hogger, C. J. Robinson, J. A.
Clarendon Press /1994-04-28 Hardcover / 526 Pages
isbn-10: 0198537468 / isbn-13: 9780198537465
