TY  - BOOK
AU  - CLARKE,MICHAEL, REEVES,STEVE
TI  - LOGIC FOR COMPUTER SCIENCE
SN  - KBCS
U1  - 901 
PY  - 1990///
CY  - ENGLAND
PB  - AW
N1  - BR-981
ER  -