Jan von Plato
Husserl and Grassmann
2017
in: Essays on Husserl's logic and philosophy of mathematics, Dordrecht : Springer
Rereading Gentzen
2003
Synthese 137/1-2
Formalization of Hilbert's geometry of incidence and parallelism
1997
Synthese 110/1
Chance against constructibility
1995
in: From Dedekind to Gödel, Dordrecht : Springer
Illustrations of method in Ptolemaic astronomy
1994
Grazer Philosophische Studien 49