TY  - BOOK
AU  - BEN ARI
TI  - MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
SN  - 9788181283443
U1  - 511.3 BEN 
PY  - 2013///
PB  - SPRINGER
ER  -