SE212: Logic and Computation todo 4 Main Topics: Proposititional logic Proof Theory Transformational Proof Natural Deduction Semantic Tableaux Midterm Midterm SE212 Module 4 Theories