Title: QED
Subtitle: fenomenologia della dimostrazione
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic