ISBN 9780198537458 books & textbook
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Gabbay, Dov M. Hogger, C. J. Robinson, J. A. Siekmann, J.
Clarendon Press /1993-08-05 Hardcover / 534 Pages
isbn-10: 019853745X / isbn-13: 9780198537458
