Logic and Modeling 2021: Lecture 2

Video 6: strategy for natural deduction

Video 7: one more or elimination rule

Video 8: Lecture 2 Q&A, Thursday 1 April