LARA Lecturecise 19: Compactness For Propositional Logic. Normal Forms for First-Order Logic Slides on Compactness Semantics for First-Order Logic Normal Forms for First-Order Logic
