TY  - BOOK
AU  - Huth, Michael
AU  -  Ryan Mark
TI  - Logic in Computer Science: Modelling and Resoning about Systems
SN  - 9780521670896
U1  - 005.1015113 
PY  - 2005///
CY  - New York
PB  - Cambridge Univesity Press
ER  -