Slides from 09/10 Topics in Propositional Logic slides Beyond Propositional Logic slides Natural Deduction for Predicate Logic slides Semantics of Predicate Logic