TY  - BOOK
AU  - Singh, Arindama 
TI  - Logics for computer science
SN  - 9788120322844
U1  - 511.30285 Si64l 
PY  - 2003///
CY  - New Delhi
PB  - Prentice-Hall of India Private Limited
KW  - Computer logic
KW  - Logic, Symbolic and mathematical
ER  -