La Dimostrazione alla Prova : Itinerari per un Insegnamento Integrato di Algebra, Logica, Informatica, Geometria