TY  - BOOK
AU  - Michael Huth
AU  -  Mark Ryan
TI  - Logic in Computer Science Modelling and Reasoning about Systems
SN  - 978-0-521-67089-0
PY  - 2010///
PB  - Cambridge University Press 
KW  - Computer Science
N1  - YES
ER  -