Depth-Bounded Natural Deduction for Classical Logic Classe di Lettere e Filosofia Lunedì 14 Ottobre 2019 16:00 Aula Contini
