il giorno mercoledì 9 aprile alle ore 15:00 presso l’aula F del Dipartimento il prof. Antonio Piccolomini d’Aragona (Università di
Tubinga) terrà un seminario dal titolo “Proof-theoretic semantic: approaches, completeness and open problems”.
La locandina del seminario si trova in allegato.

Seminariod'Aragona