TY  - BOOK
AU  - Singh, Arindama
AU  - 
TI  - Logics for computer science
SN  - 81-203-2284-3
U1  - 510.6:681.31 
PY  - 2004///
CY  - New Delhi
PB  - Prentice- Hall of India
KW  - Logic- Computer science
KW  - Computer science- logic
KW  - Mathematical logic
ER  -