TY  - BOOK
AU  - HUTH, MICHAEL A
TI  - LOGIC IN COMPUTER SCIENCE: MODELING AND REASONING 
SN  - 978052167089
U1  - 005.1015113 HUT/RYA 
PY  - 2012///
CY  - NEW DELHI
PB  - CAMBRIDGE UNIVERSITY PRESS
ER  -