TY  - BOOK
AU  - Ben-Ari, Mordechai
TI  - Mathematical logic for computer science
SN  - 1852333197
U1  - 511.3 
PY  - 2001///
CY  - Berlin
PB  - Springer-Verlag
ER  -