Deduction, computation, experiment

exploring the effectiveness of proof

2008

Rossella Lupacchini, Giovanna Corsi (eds)

Berlin, Springer

Proof as a path of light

2008

Rossella Lupacchini

in: Deduction, computation, experiment, Berlin,

On the adequacy of a nonclassical logic for quantum theory

1988

Rossella Lupacchini

in: The nature of quantum paradoxes, Berlin,