- Alfred Tarski: The semantic conception of truth and the foundations of semantics2007 | Faculty of Arts
- Programme Tarski's World and Teaching of the Predicate Language2006 | Faculty of Arts
- Relatives of Robinson Arithmetic2009 | Faculty of Arts
- Truth and (Un)Provability2023 | Faculty of Arts
- Model theory and foundations of logic2016 | Faculty of Arts
- Distance k-sectors exist +12010 | Faculty of Mathematics and Physics
- COMPLEXITY OF COMPUTING INTERVAL MATRIX POWERS FOR SPECIAL CLASSES OF MATRICES2020 | Faculty of Mathematics and Physics