Mathematical Logic for Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Introduction
3. Altmetric Badge
   Chapter 2 Propositional Logic: Formulas, Models, Tableaux
4. Altmetric Badge
   Chapter 3 Propositional Logic: Deductive Systems
5. Altmetric Badge
   Chapter 4 Propositional Logic: Resolution
6. Altmetric Badge
   Chapter 5 Propositional Logic: Binary Decision Diagrams
7. Altmetric Badge
   Chapter 6 Propositional Logic: SAT Solvers
8. Altmetric Badge
   Chapter 7 First-Order Logic: Formulas, Models, Tableaux
9. Altmetric Badge
   Chapter 8 First-Order Logic: Deductive Systems
10. Altmetric Badge
    Chapter 9 First-Order Logic: Terms and Normal Forms
11. Altmetric Badge
    Chapter 10 First-Order Logic: Resolution
12. Altmetric Badge
    Chapter 11 First-Order Logic: Logic Programming
13. Altmetric Badge
    Chapter 12 First-Order Logic: Undecidability and Model Theory *
14. Altmetric Badge
    Chapter 13 Temporal Logic: Formulas, Models, Tableaux
15. Altmetric Badge
    Chapter 14 Temporal Logic: A Deductive System
16. Altmetric Badge
    Chapter 15 Verification of Sequential Programs
17. Altmetric Badge
    Chapter 16 Verification of Concurrent Programs