"Deduction, Computation, Experiment: Exploring the Effectiveness of Proof" - читать интересную книгу автора (Rossella Lupacchini, Giovanna Corsi)