- Filosofický význam Gödelovy věty2006 | Filozofická fakulta
- What do Gödel theorems tell us about Hilbert`s solvability thesis?2009 | Filozofická fakulta
- Gödelovy věty a rozlišení syntetické/analytické2006 | Filozofická fakulta
- Gödelova věta a relace logického důsledku2010 | Filozofická fakulta
- Filosofie matematiky po Gödelovi2006 | Filozofická fakulta
- Logika pro všechny ochotné myslet2011 | Filozofická fakulta
- UNDERSTANDING, EXPRESSION AND UNWELCOME LOGIC2020 | Matematicko-fyzikální fakulta
- Kurt Gödel: Úplnost a neúplnost2015 | Filozofická fakulta