is a philosopher currently focusing on theoretical philosophy. One of his research interests is formal logic and the foundations of mathematics. He is the creator of the logic R0, a further development of Andrews’ logic Q0.
Publications (selection, in reverse chronological order)
- The R0 Software Implementation (2017)
- Mathematical Formulae (2017, both print and online)
- Foundations of Mathematics. Genealogy and Overview (first online 2016)