Speaker
Joost Joosten
University of Barcelona
Talks at this conference:
| Tue, 15:30 |
Possible world semantics and the contingency of logic Contributed Talks |
| Wed, 11:45 |
A classification of the $\sf{KPl}$-provably total set-recursive functions Contributed Talks |