, 2017a, Husserl and his alter ego Kant, in S. Centrone (ed.), Essays on Husserl's logic and philosophy of mathematics, Dordrecht, Springer, pp. 25-74.
, 2017b, Paradox, harmony, and crisis in phenomenology, in S. Centrone (ed.), Essays on Husserl's logic and philosophy of mathematics, Dordrecht, Springer, pp. 353-408.
, 1997, 'Hilbert's formalism and arithmetization of mathematics', Synthese 110 (1), 1-14.
, 1995, Tracking contradictions in geometry: the idea of a model from Kant to Hilbert, in J. Hintikka (ed.), From Dedekind to Gödel, Dordrecht, Springer, pp. 1-20.
, 1992, 'Reconstruction from recollection and the refutation of idealism: a Kantian theme in the Aufbau', Synthese 93 (1-2), 93-105.
, 1987, Immanuel Kant and the greater glory of geometry, in A. Shimony & D. Nails (eds.), Naturalistic epistemology, Dordrecht, Springer, pp. 17-70.
, 1983, Gödel's theorems and Church's thesis, in R. S. Cohen & M. W. Wartofsky (eds.), Language, logic and method, Dordrecht, Springer, pp. 309-353.
, 1980a, Mechanism, mentalism and metamathematics: an essay on finitism, Springer, Dordrecht.