Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction MethodologiesDov M. Gabbay, C. J. Hogger, J. A. RobinsonInbunden, 19949 389 kr