Rossella Lupacchini

1 published title

Deduction, computation, experiment : exploring the effectiveness of proof

(Contributor)

1 edition