TY  - BOOK
AU  - Ben-Ari, Moderchai 14115
TI  - Mathematical logic for computer science 
SN  - 9788181283443
U1  - 519.85 
PY  - 2011///
CY  - India
PB  - Springer 
KW  - Calculus
KW  - Logic programming
ER  -