TY  - BOOK
AU  - Singh, Arindama
TI  - Logics for computer science
SN  - 9788120322844 (Pbk)
U1  - 004.015113 
PY  - 2003///
CY  - New Delhi
PB  - Prentice Hall of India, 
KW  - Computer logic
N1  - Includes Bibliographical References & index
ER  -