References
Rossella Lupacchini
(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.
(1988)., On the adequacy of a nonclassical logic for quantum theory, in G. Tarozzi (ed.), The nature of quantum paradoxes, Dordrecht, Springer, pp. 325-341.