Logic and Modeling 2021: Lecture 6

Video 4: One more natural deduction example

Video 5: Equality in first order logic

Video 6: Syntax of first order logic in Lean