TY  - BOOK
AU  - Singh,Arindama
TI  - Logics for computer science
SN  - 8120322843 (paperback)
PY  - 2004///
CY  - [S.l.]
PB  - Prentice-Hall of India Pvt.Ltd
UR  - http://www.amazon.com/exec/obidos/ASIN/8120322843/chopaconline-20
ER  -