THE LOGIC NOTES

Contents


     
  1. Introduction
  2. Propositional natural deduction
  3. More about propositional logic
  4. Expressing generality
  5. More about first order logic
  6. Identity and existence
  7. Challenging the Paradigm
  8. Reference: all the rules
  9. Bibliography