TY  - BOOK
AU  - Singh, Arindama  .
TI  - Logics for Computer Science / 
U1  - 004.1 
PY  - 2003///
CY  - New Delhi : 
PB  - Prentice Hall of India Private Limited , 
KW  - Fundamentals of Computer Science
ER  -