TY  - BOOK
AU  - Huth,Michael  .
AU  - Ryan,Mark  .
TI  - Logic In Computer Science / 
U1  - 004 
PY  - 2004///
CY  - Cambridge : 
PB  - Cambrdge University Press , 
KW  - Computer Science
ER  -