TY  - BOOK
AU  - Boyer R S
AU  - Moore J S
TI  - Computational logic
U1  - 005.131 
PY  - 1979///
CY  - N Y
PB  - Academic Press
KW  - Computational logic
KW  - Computer science
ER  -