- Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATPPublikace bez příslušnosti k fakultě
- Důsledky dokazatelnosti, že NP je podmnožinou P/poly2007 | Matematicko-fyzikální fakulta
- Logika pro všechny ochotné myslet2011 | Filozofická fakulta
- On provability logic2000 | Filozofická fakulta
- Gödelova věta a relace logického důsledku2010 | Filozofická fakulta