First-Order Logic (pt. 1)

0:00 Motivation and limits of propositional logic 22:15 First-Order Logic basics 47:00 Models and FOL Semantics 1:04:10 Theories as extensions of FOL