
2005Nature's principles

2008Information and knowledge

2008Leibniz

2013Paraconsistency

2015Essays on Gödel's reception of Leibniz, Husserl and Brouwer

2016Alfred Tarski and the "concept of truth in formalized languages"

2018The philosophers and mathematics

2019Constructive semantics

2019Peirce and Husserl