TY  - BOOK
AU  - Ben-Ari, Mordechai.
TI  - Mathematical logic for computer science
SN  - 9788181283443
U1  - 511.3  2
PY  - 2008///
CY  - New Delhi
PB  - Springer
KW  - Propositional Calculus
KW  - Logic Programming
KW  - Temporal Logic
ER  -