TY  - BOOK
AU  - Huth, M and Ryan, M
TI  - Logic in computer science
SN  - 0-521-67089-6
U1  - 004 
PY  - 2005///
PB  - Cambridge
KW  - Computer
ER  -