References
Gabriele Lolli
Federigo Enriques at the 1935 international congress for scientific philosophy in Paris
2018
Philosophia Scientiae 22/3
From logic to practice: Italian studies in the philosophy of mathematics2015
with Panza Marco, Venturi Giorgio (ed)
Dordrecht, Springer
Experimental methods in proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer