TY  - BOOK
AU  - Huth, Michael
TI  - Logic In Computer Science
U1  - 621.395 
CY  - New York
KW  - ELECTRONICS
ER  -