You are here

Depth-Bounded Natural Deduction for Classical Logic

Seminari della Classe di Lettere e filosofia

Monday, 14 October 2019
16:00
Aula Contini
Classe di lettere e filosofia