Dalla deduzione naturale al calcolo delle sequenze Classe di Lettere e Filosofia Thursday 05 May 2016 10:00 Aula Campana