- Neúplnost a Gödelovy větyALG119007 | Filozofická fakulta
- Logika II +1ALG100014 | Filozofická fakulta
- Klasická logika II AALG110014 | Filozofická fakulta
- Logika v informaticeNMAI067 | Matematicko-fyzikální fakulta
- VyčíslitelnostNTIN064 | Matematicko-fyzikální fakulta
- Dějiny matematiky IINMTM306 | Matematicko-fyzikální fakulta
- Úvod do matematické logikyNMAG162 | Matematicko-fyzikální fakulta