Incontro Proof-theoretic semantics and classical logic: there and back again
7 dicembre 2017
- 15:45 - 18:00
- In presenza : Aula Mondolfo (III piano, via Zamboni 38)
- In italiano
Programma
Partecipanti: Norbert Graztl - MCMP (Munich Center for Mathematical Philosophy)