TY  - BOOK
AU  - Arindama Singh
TI  - Logics for computer science
SN  - 8120322843
U1  - 004.015113 
PY  - 2004///
CY  - India
PB  - Prentice Hall of India
KW  - Computer logic
ER  -