TY  - BOOK
AU  - ARI, BEN MORDECHAI
TI  - Mathmatical Logic for Computer Science
U1  - 511.3 
PY  - 2003///
CY  - LONDON
PB  - SPRINGER VERLAG LONDON LIMITED
KW  - LOGIC,SYMBOLIC AND MATHMATICAL, MATHMATICS
ER  -