, 2008, Proof as a path of light, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 195-222.
with Corsi, G. (eds) , 2008, Deduction, computation, experiment: exploring the effectiveness of proof, Springer, Dordrecht.
, 1988a, On the adequacy of a nonclassical logic for quantum theory, in G. Tarozzi (ed.), The nature of quantum paradoxes, Dordrecht, Springer, pp. 325-341.