- Gödel's Theorems and IncompletnessALG119007 | Faculty of Arts
- Interpretations of Gödel incompleteness theoremALGV19006 | Faculty of Arts
- Logic seminar +1OB1310003 | Faculty of Education
- Logic +4OB1310N002 | Faculty of Education
- Mathematical LogicNMAG331 | Faculty of Mathematics and Physics
- Logic II +1ALG100014 | Faculty of Arts
- Classical Logic II AALG110014 | Faculty of Arts
- History of Logic +2ALG110015 | Faculty of Arts
- Logic in Computer ScienceNMAI067 | Faculty of Mathematics and Physics
- Propositional and Predicate Logic +1NAIL062 | Faculty of Mathematics and Physics
- Properties of axiomatic theoriesALG119006 | Faculty of Arts
- History of modern mathematics and logicALG119002 | Faculty of Arts
- Logic +2ASG100015 | Faculty of Arts
- ComputabilityNTIN064 | Faculty of Mathematics and Physics
- ForcingNMAG575 | Faculty of Mathematics and Physics
- Introduction to Mathematical LogicNMAG162 | Faculty of Mathematics and Physics
- Seminar on Logic Programming 1NAIL006 | Faculty of Mathematics and Physics
- Seminar on Logic Programming 2NAIL009 | Faculty of Mathematics and Physics
- History of Mathematics IINMTM306 | Faculty of Mathematics and Physics