Logic and Modeling 2021: Lecture 1

Video 7: Natural deduction with implies

Video 8: Natural deduction with and and implies

Video 9: Lecture 1 Q&A, Tuesday 30 March