TY  - BOOK
AU  - Ben-Ari, Mordechai
TI  - Mathematical logic for computer science
U1  - 51I.3 B431M 
PY  - 2005///
CY  - New Delhi
PB  - Springer (India)
ER  -