TY  - BOOK
AU  - Huth Michael
AU  -  Ryan Mark
TI  - Logic in computer science :  Modelling and reasoning about systems.     
U1  - D6,8(B)0bR1, P4 
PY  - 2004///
CY  - Cambridge
PB  - Cambridge University Press     
KW  - Computer Programming
ER  -