Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations: Logic Foundations Vol 1

by: Gabbay · Hogger · Robinson Hardcover details (UK). ISBN: 978-0-19-853745-8 ISBN-10: 0-19-853745-X OUP Oxford · 1993