今年立的旗,an introduction...
2024年11月13日

今年立的旗,an introduction...

今年立的旗,an introduction to proof theory,应该无法全部完成,但已经进度过半,看完cut elimination大定理没有问题,看完算术系统一致性的证明应该也问题不大,但后面两章ordinal