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
No download links available.