Un progetto di ricerca: logica matematica per lo sviluppo di abilità dimostrative