Speaker
Vitor Greati
University of Groningen
Talks at this conference:
| Thu, 11:30 |
Predicative recursion on the Veblen hierarchy
Contributed |
Speaker
| Thu, 11:30 |
Predicative recursion on the Veblen hierarchy
Contributed |