with Arana, A. , 2015, Plane and solid geometry: a note on purity of methods, in G. Lolli, M. Panza & G. Venturi (eds.), From logic to practice, Dordrecht, Springer, pp. 23-31.
, 2009, Tarski's engagement with philosophy, in S. Lapointe, J. Woleński, M. Marion & W. Miskiewicz (eds.), The Golden age of Polish philosophy, Dordrecht, Springer, pp. 131-153.
, 2008, 'Introduction: interpolations—essays in honor of William Craig', Synthese 164 (3), 313-319.
(ed) , 2008, The philosophy of mathematical practice, Oxford University Press, Oxford.
, 2003, 'The Russellian influence on Hilbert and his school', Synthese 137 (1-2), 59-101.
with Marion, M. , 2003a, Wittgenstein's constructivization of Euler's proof of the infinity of primes, in F. Stadler (ed.), The Vienna circle and logical empiricism, Dordrecht, Springer, pp. 171-188.