, 2021, 'Analysis, constructions and diagrams in classical geometry', Metodo 9 (1), 181-220.
with Lassalle-Casanave, A. , 2018, Enthymemathical proofs and canonical proofs in Euclid's plane geometry, in H. Tahiri (ed.), The philosophers and mathematics, Dordrecht, Springer, pp. 127-144.
, 2018, Was Frege a logicist for arithmetic?, in A. Coliva, P. Leonardi & S. Moruzzi (eds.), Eva Picardi on language, analysis and history, Dordrecht, Springer, pp. 87-112.
, 2016, Abstraction and epistemic economy, in S. Costreie (ed.), Early analytic philosophy, Dordrecht, Springer, pp. 387-428.
with Sereni, A. , 2016, 'The varieties of indispensability arguments', Synthese 193 (2), 469-516.
with Sandu, P.-G. , 2015, Functions and generality of logic: reflections on Dedekind's and Frege's logicisms, Springer, Dordrecht.
with Sereni, A. , 2015, On the indispensable premises of the indispensability argument, in G. Lolli, M. Panza & G. Venturi (eds.), From logic to practice, Dordrecht, Springer, pp. 241-276.
with Lolli, G. , Venturi, G. (eds) , 2015, From logic to practice: Italian studies in the philosophy of mathematics, Springer, Dordrecht.
with Sereni, A. , 2013, Plato's problem: an introduction to mathematical Platonism, Palgrave Macmillan, Basingstoke.
with Mumma, J. , 2012, 'Diagrams in mathematics: history and philosophy', Synthese 186 (1), 1-5.
, 2012, 'The twofold role of diagrams in Euclid's plane geometry', Synthese 186 (1), 55-102.
with Mumma, J. , Sandu, P.-G. (eds) , 2012, Synthese 186 (1).
, 2005, Some sober conceptions of mathematical truth, in M. H. G. . Hoffmann, J. Lenhard & F. Seeger (eds.), Activity and sign, Dordrecht, Springer, pp. 335-347.
with Alvarez, C. , 2003, 'Introduction', Synthese 134 (1-2), 1-2.
, 2003, 'Mathematical proofs', Synthese 134 (1-2), 119-158.
with Alvarez, C. (eds) , 2003, Synthese 134 (1-2).
with Pont, J.-C. (eds) , 1995a, Les savants et l'épistémologie vers la fin du XIXeme siècle, Blanchard, Paris.