TY  - BOOK
AU  - Ben-Ari,Mordechal
TI  - Mathematical logic for computer science
U1  - 511.3 
PY  - 2012///
CY  - London
PB  - Springer
ER  -