TY  - BOOK
AU  - Ben-Ari, Mordechai.
TI  - Mathematical Logic for Computer Science
SN  - 1-85233-319-7
CY  - London
KW  - Logic, Symbolic and Mathematical
ER  -