TY  - BOOK
AU  - Ben-Ari, Mordechai
TI  - Mathematical logic for computer science
SN  - 1-85233-319-7
U1  - 511.3 BEN 
PY  - 2001///
CY  - LONDON
PB  - SPRINGER
KW  - LOGIC FOR MATHEMATICAL
ER  -