TY  - BOOK
AU  - MICHEAL HUTH 
TI  - LOGIC IN COMPUTER SCIENCE
SN  - NULL
U1  - 005.115 HUT 
PY  - 2007///
CY  - NULL
PB  - CAMBRIDGE UNIVERSITY PRESS
KW  - NULL
ER  -