TY  - BOOK
AU  - Ben-Ari, Mordechai
TI  - Mathematical Logic for Computer Science
SN  - 8181283449
U1  - 511.3 BEN 
PY  - 2005///
CY  - London
PB  - Springer Verlag
KW  - Logic, Symbolic and mathematical
KW  - Computer science -- Mathematics
ER  -