Title: Capire una dimostrazione
Subtitle: il ruolo della logica nella matematica
Subjects: Symbolic and mathematical Logic, Evidence