Introduction to Logic WiSe 2021/22

This is an introductory course in logic, designed primarily for applications of logic in natural language semantics. We will cover the basics of set theory, propositional logic, predicate logic and the basics of abstract algebras.