- Computational LogicNMAG535 | Faculty of Mathematics and Physics
- Advanced mathematical logicNAIL111 | Faculty of Mathematics and Physics
- Logic and ComplexityNMAG446 | Faculty of Mathematics and Physics
- Mathematical LogicNMAG331 | Faculty of Mathematics and Physics
- Propositional and Predicate Logic +1NAIL062 | Faculty of Mathematics and Physics
- Introduction to Mathematical LogicNMAG162 | Faculty of Mathematics and Physics