Su di un livello |
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.