TY  - BOOK
AU  - HUTH, MICHAEL
TI  - LOGIC IN COMPUTER SCIENCE
U1  - 005.101 
PY  - 2011///
CY  - NEW DELHI
PB  -  CAMBRIDGE
ER  -