Speaker
Pietro Brocci
Scuola Normale Superiore
Talks at this conference:
| Mon, 16:00 |
Proof-theoretic remarks on extensions of the Kripke-Feferman theory of truth Contributed Talks |
Speaker
| Mon, 16:00 |
Proof-theoretic remarks on extensions of the Kripke-Feferman theory of truth Contributed Talks |