My presentation about the compactness theorem of propositional and first order logic
Primary LanguageTeXCreative Commons Attribution 4.0 InternationalCC-BY-4.0