Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz Stefano Aguzzoli — 2000 Bollettino dell'Unione Matematica Italiana