Overview

The topics and order given below is tentative and subject to change throughout the semester.

1. Natural Deduction
2. Sequent Calculi
3. Certified Theorem Proving
4. Focused Proofs
5. Unification
6. Tableaux
7. Inverse Method
8. Term Indexing
9. Subsumption
10. Ordered Resolution

Possible further topics:

• Classical and Intuitionistic Logic
• Types
• Constraints
• Equality Reasoning
• Induction