TY  - GEN
AU  - Ari Mordechai Ben
TI  - Mathematical Logic for Computer Science
SN  - 9788181283443
U1  - 510.6:004 ARI 
PY  - 2003///
PB  - Springer
ER  -