TY  - BOOK
AU  -  SINGH (ARINDMA)
TI  - Logics for Computer Science  
U1  - 005.115 
CY  -  New Delhi 
PB  -  PHI
ER  -