TY  - BOOK
AU  -  Reeves,steve/clarke,michael 
TI  -  Logic for computer science 
SN  - 0201416433
U1  - 004.01511REE 
CY  -  Addison-wesley 
KW  -  Logic, symbolic and mathematical
ER  -