- Lambda Calculus and Functional Programming 1NAIL078 | Faculty of Mathematics and Physics
- Lambda Calculus and Functional Programming INAIX078 | Faculty of Mathematics and Physics
- Gödel's Theorems and IncompletnessALG119007 | Faculty of Arts
- Logic in Computer ScienceNMAI067 | Faculty of Mathematics and Physics
- International Economic Relations IJPM051 | Faculty of Social Sciences
