TY  - BOOK
AU  - Mordechai Ben Ari
TI  - Mathematical Logic for Computer Science
SN  - 978-181-2834-43
PY  - 2008///
PB  - Springer International Ed
KW  - Computer Science
N1  - YES
ER  -