What follows are some materials to supplement the course "Phil 150/250: Mathematical Logic", taught at Stanford University.
Week 1 - Basic Introduction to Logic and Set Theory Week 2 - The Syntax and Semantics of Propositional Logic Week 4 - Modal Logic Week 6 - The Syntax of First-Order Predicate Logic Week 7 - The Semantics of Predicate Logic Week 8 - Natural DeductionWeek 9 - Metalogical Notions
Week 1 - Basic Introduction to Logic and Set Theory Week 2 - The Syntax and Semantics of Propositional Logic Week 4 - Modal Logic Week 6 - The Syntax of First-Order Predicate Logic Week 7 - The Semantics of Predicate Logic Week 8 - Natural DeductionWeek 9 - Metalogical Notions