References
Rossella Lupacchini
Proof as a path of light
2008
in: Deduction, computation, experiment, Dordrecht : Springer
Deduction, computation, experiment: exploring the effectiveness of proof2008
with Corsi Giovanna (ed)
Dordrecht, Springer
On the adequacy of a nonclassical logic for quantum theory
1988
in: The nature of quantum paradoxes, Dordrecht : Springer