This page provides links to the course material organized as traditional textbook chapters. The content of these chapters is identical to that in the lessons. It is optional and is provided solely for the convenience of those who prefer traditional textbook format to the hypercard format used on the Lessons page. Note that the Lessons page provides exercises and activities and extras that do not appear in the textbook chapters. It is okay to read the chapters instead of the hypercards, but be sure to go to the Lessons page to check out these additional features.

Preface Chapter 1   - Introduction Chapter 2   - Propositional Logic Chapter 3   - Propositional Analysis Chapter 4   - Direct Proofs Chapter 5   - Natural Deduction Chapter 6   - Resolution Proofs Chapter 7   - Relational Logic Chapter 8   - Relational Analysis Chapter 9   - Model Checking Chapter 10 - Fitch Proofs Chapter 11 - Functional Logic Chapter 12 - Fitch Proofs Chapter 13 - Induction Chapter 14 - Resolution Chapter 15 - Equality Chapter 16 - First Order Logic Chapter 17 - Conclusion References

If you would like a print edition of the course textbook, click here to purchase a copy from the publisher or click here to buy the book from Amazon.