THE LOGIC NOTES

Contents

     Preface
 

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. Metalogic: The View from Above
    
   
8. Challenging the Paradigm
    
   
9. Reference: all the rules
    
   
10. Glossary
     
    
11. Bibliography
     
    
12. Appendix: Interactive tools