TY  - BOOK
AU  - Ben-Ari,Mordechai
TI  - Mathematical logic for computer science 
SN  - 9781447141280
U1  - 005.131 B43M3 23
PY  - 2001///
CY  - London
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Computer science
KW  - Mathematics
KW  - Mathematical Intermatque
N1  - Includes bibliographical references and indexes
ER  -