, 2017, Husserl and Grassmann, in S. Centrone (ed.), Essays on Husserl's logic and philosophy of mathematics, Dordrecht, Springer, pp. 93-109.
, 2003, 'Rereading Gentzen', Synthese 137 (1-2), 195-209.
, 1997, 'Formalization of Hilbert's geometry of incidence and parallelism', Synthese 110 (1), 127-141.
, 1995, Chance against constructibility, in J. Hintikka (ed.), From Dedekind to Gödel, Dordrecht, Springer, pp. 263-281.
, 1994a, 'Illustrations of method in Ptolemaic astronomy', Grazer Philosophische Studien 49, 63-75.