Speaker
Koshiro Ichikawa
Talks at this conference:
| Thu, 10:50 |
A modular ordinal analysis for fragments of induction principles
Contributed |
Speaker
| Thu, 10:50 |
A modular ordinal analysis for fragments of induction principles
Contributed |