TY  - BOOK
AU  - ARI, BEN MORDECHAI
TI  - MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
U1  - 004 
PY  - 2012///
CY  - Newyork
PB  - Springer -Verlag
KW  -  MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
KW  - COMPUTER SCIENCE
ER  -