Speaker
Henry Towsner
University of Pennsylvania
Talks at this conference:
| Mon, 10:00 |
Impredicative ordinal analysis
Tutorial |
| Mon, 14:30 |
Impredicative ordinal analysis
Tutorial |
| Tue, 10:00 |
Impredicative ordinal analysis
Tutorial |