TY  - BOOK
AU  - Davis, R. E.
TI  - Truth, deduction, and computation : Logic and semantics for
SN  - 0-7167-8201-4
U1  -  005.13 
PY  - 1989///
CY  - New York,USA
PB  - Computer Science Press
KW  - Electronic data processing
ER  -