Argomentazione e dimostrazione in ambito aritmetico: risultati da una ricerca nel lungo termine