TY  - BOOK
AU  - HUTH MICHAEL/ RYAN MARK
TI  - LOGIC IN COMPUTER SCIENCE 
SN  - 9.78052E+12
U1  - 005.115/HUT/RYA 
PY  - 2014///
CY  - PUNE
PB  - CAMBRIDGE UNIVERSITY PRESS
KW  - NULL
ER  -