TY  - BOOK
AU  - Boyer R S
AU  - Moore J S
TI  - Computaional logic handbook
U1  - 511.3 
PY  - 1988///
CY  - Boston
PB  - Academic Press
KW  - Mathematical logic
ER  -