TY  - BOOK
AU  - Huth,Michael
AU  - Ryan,Mark  .
TI  - Logic in computer science : modelling and reasoning about systems / 
SN  - 9780521670890
U1  - 003.3 
PY  - 2004///
CY  - Cambridge : 
PB  - Cambridge University Press , 
KW  - COMPUTER MODELING
N1  - Includes bibliography and index
ER  -