Tesi di laurea di Logica per studenti di Matematica e del liceo