TY  - BOOK
AU  - Gabbay D M
AU  - Hogger C J eds
TI  - Handbook of logic in artificial intelligence and logic programming: v 1 : logical foundations
U1  - 006.336 
PY  - 1993///
CY  - Oxford
PB  - Clarendon Press
KW  - Artificial intelligence
KW  - Logic Programming
N1  - Logical Foundations
ER  -