"Alcuni risultati di teoria della dimostrazione"