Introduction to Logic
Notes
Tools
for
Thought
Lessons Notes Glossary Exercises Puzzles Tools



Preface
Chapter 1   - Introduction
Chapter 2   - Propositional Logic
Chapter 3   - Propositional Analysis
Chapter 4   - Propositional Proofs
Chapter 5   - Propositional Resolution
Chapter 6   - Relational Logic
Chapter 7   - Relational Analysis
Chapter 8   - Relational Proofs
Chapter 9   - Herbrand Logic
Chapter 10 - Herbrand Proofs
Chapter 11 - Induction
Chapter 12 - Resolution
References