| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Deduction, Computation, Experiment | 978-88-470-1273-8 (88-470-1273-2) | 2009 | Rossella Lupacchini |
| Deduction, Computation, Experiment: Exploring the Effectiveness of Proof | 978-88-470-0783-3 (88-470-0783-6) | 2008 | " |