TY  - BOOK
AU  - HUTH MICHAEL
TI  - LOGIC IN COMPUTER SCIENCE
U1  - 006.3,HUT 
PY  - 2010///
PB  - CAMBRIDGE PUBLISHERS
ER  -