Speaker
Fedor Pakhomov
Ghent University
Talks at this conference:
| Mon, 15:30 |
Towards intuitionistic polymodal provability logic Contributed Talks |
Speaker
| Mon, 15:30 |
Towards intuitionistic polymodal provability logic Contributed Talks |