- Neúplnost a Gödelovy větyALG119007 | Filozofická fakulta
- Logika +4OKBM1M134A | Pedagogická fakulta
- Logika seminář +1OB1310003 | Pedagogická fakulta
- Výroková a predikátová logika +1NAIL062 | Matematicko-fyzikální fakulta
- Logika II +1ALG100014 | Filozofická fakulta
- Klasická logika II AALG110014 | Filozofická fakulta
- Matematická logikaNMAG331 | Matematicko-fyzikální fakulta
- Logika v informaticeNMAI067 | Matematicko-fyzikální fakulta
- Logika +2ASG100015 | Filozofická fakulta
- Vlastnosti axiomatických teoriíALG119006 | Filozofická fakulta
- VyčíslitelnostNTIN064 | Matematicko-fyzikální fakulta
- Dějiny matematiky IINMTM306 | Matematicko-fyzikální fakulta
- Úvod do matematické logikyNMAG162 | Matematicko-fyzikální fakulta