TY  - BOOK
AU  - Boyer Robert S., Moore J Strother Moore,
TI  - A computational Logic Handbook
SN  - 0121229556
U1  - 511.3 BOY 1998 
PY  - 1998///
CY  - New York
PB  - Academic Press
KW  - Mathematics
N1  - Includes Bibliographical, Appendixes, References and  Indexes
ER  -