TY  - BOOK
AU  - Reeves, Steve
TI  - Logic for computer science
SN  - 0201416433
U1  - 004.047 REE 
CY  - Newyork
PB  - Addison-Wesley
ER  -