TY  - BOOK
AU  - Arindama Singh
TI  - Logics for Computer Science
SN  - 9789387472433
PB  - PHI Learning
ER  -