TY  - GEN
AU  - Ben-Ari, Mordechai
TI  - Mathematical Logic For Computer Science
U1  - 511.3 
PY  - 2005///
CY  - Australia
PB  - Thomson
ER  -