COS2661
Formal Logic II

Language, Proof and Logic

(2th edition)

by Dave Barker-Plummer, Jon Barwise, John Etchemendy

1. Atomic Sentences Pending
2. The Logic of Atomic Sentences Pending
3. The Boolean Connectives Pending
4. The Logic of Boolean Connectives Pending
5. Methods of Proof for Boolean Logic Pending
6. Formal Proofs and Boolean Logic Pending
7. Conditionals Pending
8. The Logic of Conditionals Pending
9. Introduction to Quantification Pending
10. The Logic of Quantifiers Pending
11. Multiple Quantifiers Pending
12. Methods of Proof for Quantifiers Pending
13. Formal Proofs and Quantifiers Pending
14. More about Quantification (optional) Pending
15. First-order Set Theory Pending
16. Mathematical Induction Pending
17. Advanced Topics in Propositional Logic Pending
18. Advanced Topics in FOL Pending
19. Completeness and Incompleteness Pending

Edit section