- Logicism and Modern Logic2004 | Faculty of Arts
- A Course in Logic for Philosophy Students2011 | Publication without faculty affiliation
- Miscellanea Logica VII. From Truth to Proof2006 | Faculty of Arts
- What is Logic? On the conception of logic in Principia Mathematica2014 | Publication without faculty affiliation
- Possible worlds in logic2005 | Faculty of Arts
- Philosophy of Number. Foundations of Logic and Arithmetics in the Mirror of Analytic Philosophy2008 | Faculty of Arts
- The Logic of Gottlob Frege2002 | Faculty of Arts
- On contemporary Analysis of Modalities2004 | Faculty of Arts
- Two Concepts of Validity and Completeness2010 | Faculty of Arts