TY  - BOOK
AU  - M. Ben-Ari
TI  - Mathematical Logic For Computer Science
SN  - 8181283443
U1  - 105.23 
PY  - 2008///
CY  - New Delhi
PB  - Springer
KW  - CSE Career Award
ER  -