TY  - BOOK
AU  - Singh Arindama
TI  - LOGICS FOR COMPUTER SCIENCE
PY  - 2003///
PB  - PHI
KW  - Computer Science
KW  - LOGICS FOR COMPUTER SCIENCE
ER  -