Introduction to Logic WiSe 2023/24

This is an introductory course to basic set theory, propositional logic, and first-order logic.