TY  - BOOK
AU  - "Huth, Michael"
TI  - Logic In Computer Scienc
SN  - 9.78E+12
U1  - 4 
CY  - U.K
ER  -