Dainesi, Carlotta (2012) Logica modale della dimostrabilità. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270]