TY  - BOOK
AU  - Sing, Arindama
TI  - Logics for computer science
SN  - 8120322843
U1  - 001.66 
PY  - 2003///
CY  - New Delhi
PB  - Prentice-Hall of India
ER  -