Logic and Modeling 2021: Lecture 13

Video 1: soundness and completeness of FOL

Video 2: consistency theorem