TY  - BOOK
AU  - Huth
TI  - Logic in computer science 
SN  - 0
PY  - 0000///0
PB  - Cambridge University Press
ER  -