Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies Hardcover $490.00
