TY  - BOOK
AU  - Michael Huth
AU  - Mark Ryan
TI  - Logic in Computer Science
SN  - 0000096069
U1  - 1.64 
PY  - 2004///
CY  - New Delhi
PB  - Cambridge
KW  -  Computer
KW  -  Logic
KW  -  Modelling
KW  -  Reasoning
KW  -  Science
KW  -  Systems
KW  - about
KW  - Digi Cir & Logic Desi, DigiCom Ele
ER  -