TY  - BOOK
AU  - Dean, Neville.
TI  -  Logic and information
SN  - 0333919777
U1  -  160  21
PY  - 2003///
CY  - Basingstoke
PB  - Palgrave Macmillan
KW  - Logic
KW  - Logic programming
N1  - Includes index
ER  -