TY  - BOOK
AU  - Burke,Edmund
AU  - Foxley,Eric
TI  - Logic and its applications
SN  - 0130302635
PY  - 1996///
CY  - London, ; New York
PB  - : Prentice Hall
KW  - Logic programming
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -