TY  - BOOK
AU  - Huth, Michael.
AU  - Ryan, Mark.
TI  - Logic in Computer Science : Modelling and Reasoning about Systems
SN  - 0521656028
CY  - Cambridge
KW  - Computer Logic
ER  -