TY  - BOOK
AU  - MORDECHAI BEN ARI
TI  - MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
SN  - 1852333197
U1  - 511.3 
PB  - SPRINGER INC
KW  - MATHEMATICS
KW  - GENERAL
ER  -