Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations - inbunden, Engelska, 1993