- Johannes Korbmacher
Contributors:
- Colin Caret
- Rick Nouwen
- Chapter 1. Logic and AI Chapter 1. Logic and AI
- Chapter 2. Formal languages Chapter 2. Formal languages
- Chapter 3. Valid Inference Chapter 3. Valid Inference
- Chapter 4. Boolean algebra Chapter 4. Boolean algebra
- Chapter 5. Boolean satisfiability Chapter 5. Boolean satisfiability
- Chapter 6. Logical conditionals Chapter 6. Logical conditionals
- Chapter 7. Logical proofs Chapter 7. Logical proofs
- Chapter 8. FOL Chapter 8. FOL
- Chapter 9. FOL Inference Chapter 9. FOL Inference
- Chapter 10. Many-valued logics Chapter 10. Many-valued logics
- Chapter 11. Logic and probability Chapter 11. Logic and probability
- Chapter 12. Logic-based learning Chapter 12. Logic-based learning