Kelly, john j. The essence of logic - Prentice hall ISBN: 0133963756 Subjects--Topical Terms: Logic programming Dewey Class. No.: 005.131 KER