Contents:
1 Introduction and Learning Guide
2 Propositional Logic
3 Proof Systems for Propositional Logic
4 Ordered Binary Decision Diagrams
5 First-order Logic
6 Formal Reasoning in First-Order Logic
7 Clause Methods for Propositional Logic
8 Skolem Functions and Herbrand’s Theorem
9 Uniﬁcation
10 Applications of Uniﬁcation
11 Modal Logics
12 Tableaux-Based Methods. |