Su di un livello |
Cella, Carmine Emanuele (2011) On symbolic representations of music, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Mente, logica e linguaggio, 23 Ciclo. DOI 10.6092/unibo/amsdottorato/4180.
Orlandelli, Eugenio (2014) Proof theory of quantified modal logics, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Science, cognition and technology, 26 Ciclo. DOI 10.6092/unibo/amsdottorato/6658.