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