TY  - BOOK
AU  - Ben Ari Mordechai
TI  - Mathematical logic for computer science
SN  - 9781852333195
AV  - QA9.B3955 2001 
PY  - 2001///
CY  - London
PB  - Prentice Hall International
KW  - computer science
N1  - includes index
ER  -