TY  - BOOK
AU  - Ben-Ari Mordechai
TI  - Mathematical logic for computerscience
SN  - 9788181283443
U1  - 511.3/BEN 
PY  - 2003///
CY  - New Delhi
PB  - Springer (India)Private Limited
KW  - Logic
KW  - Symbolic and mathematical
N1  - xiv,304p.;22.7cm; M.R.Books Guwahati
ER  -