- Provability in Hilbert-Style Calculi for Non-Classical Logics and ATPPublication without faculty affiliation
- Consequences of the Provability of NP c P/poly2007 | Faculty of Mathematics and Physics
- Logic for all ready thinkers2011 | Faculty of Arts
- On provability logic2000 | Faculty of Arts
- Gödel’s Incompleteness Theorem and the Relation of Logical Consequence2010 | Faculty of Arts
