Deduction, Computation, Experiment - Lupacchini, Rossella; Corsi, Giovanna; Corsi, Giovanna; Lupacchini, Rossella; Università di Bologna (Springer, 2008)