TY  - BOOK
AU  - Ben-Ari, Mordechai
TI  - Mathematical logic for computer science
SN  - 9781447173618
U1  - 511.3 
PY  - 1993///
PY  - 0000///42004///
CY  - India
PB  - Replica Press,
ER  -