Modern perspectives in proof theory (2023)

2 points | by measurablefunc 13 hours ago