Mathematical logic for computer science /

Ben-Ari, M., 1948-

Mathematical logic for computer science / by Mordechai Ben-Ari. - 2nd ed. - New Delhi : Springer, 2008 - xiv, 304 p. : ill. ; 24 cm.

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


1852333197(pbk) 9781852333195(pbk)

2008922521


Logic, Symbolic and mathematical.

511.3 / BEN-M 2008 6113