TY  - BOOK
AU  - Singh Arindama
TI  - Logics for computer science
AV  - QA76.9.L63 SIN
PY  - 2003///
CY  - New Dehli
PB  - Prentice Hall of India
KW  - Computer logic
N1  - Includes references and index
ER  -