Meeting Proof-theoretic semantics and classical logic: there and back again
7 December 2017
- 03:45 PM - 06:00 PM
- In person : Aula Mondolfo (III piano, via Zamboni 38)
- In Italian
Program
Partecipanti: Norbert Graztl - MCMP (Munich Center for Mathematical Philosophy)