Obtén-ho : Deduction, Computation, Experiment [electronic resource] : Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi.

Títol : Deduction, Computation, Experiment [electronic resource] : Exploring the Effectiveness of Proof / edited by Rossella Lupacchini, Giovanna Corsi.

Signatura : Sense signatura topogràfica

Estat : Desconegut