TY  - GEN
AU  - Huth,Michael
AU  - Ryan, Mark
TI  - Logic in computer science : modelling and reasoning about systems
U1  - 005.1015113 
PY  - 2010///
CY  - UK
PB  - Cambridge university press
KW  - Computer Science
KW  - Computer logic
KW  - Logic programming
ER  -