TY  - BOOK
AU  - Ben- Ari, Mordechai
TI  - Mathematical logic for computer science / 
SN  - 9788181283443
U1  - 511.3 BEN  
PY  - 2003///.
CY  - Verlag : 
PB  - Springer, 
KW  - The Origins of Mathematical Logic
KW  - Logic, Symbolic and mathematical
KW  - Computer science -- Mathematics
N1  - Includes index.
ER  -