TY  - BOOK
AU  - Ben-Ari Mordechai
TI  - Mathematical logic for computer science
SN  - 8181283449 (pbk)
U1  - B:(R1)0b9S, P3 
PY  - 2003///
CY  - London
PB  - Springer-Verlag         
KW  -  Logic- mathematical
KW  -  Logic-symbolic
KW  -  Mathematical logic
KW  - Computer Science
N1  - Bibliography 293-295p; Index 297-304p
ER  -