TY  - BOOK
AU  - Ben-Ari,M.
TI  - Mathematical logic for computer science
SN  - 1852333197(pbk)
U1  - 511.3 
PY  - 2008///
CY  - New Delhi
PB  - Springer
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. [293]-295) and indexes; 1. Introduction
2. Propostional Calculus: Formulas, Model, Tableaux
3. Propostional Calculus: Deductive System
4. Propositional Calculus : Resolution and BDDs
5. Predicate Calculus: Formulas, Model, Tebleaux
6. Predicate Calculus: Deductive Systems
7. Predicate Calculus: Resolution
8. Logic Programming
9. Programs: Semantics and Verification
10.Programs: Formulas Specification with Z
11. Temporal Logic: Formulas, Model, Tebleaux
12. Temporal Logic: Deduction and Applications
13. Set Theory

ER  -