TY  - BOOK
AU  - Downward, Michael (University of Luton)
TI  - Logic and Declarative Language
SN  - 0748408029
PY  - 1998///
CY  - London
PB  - Taylor & Francis Books Ltd
N1  - BookData Record
ER  -