[24.241] First-order logic: syntax, semantics, proof systems, completeness, compactness, and Gödel's incompleteness theorems.
311
[24.241] First-order logic: syntax, semantics, proof systems, completeness, compactness, and Gödel's incompleteness theorems.