Proof theory for theories of ordinals III:$\Pi_{N}$-reflection
-
- 新井 敏康
- 千葉大学
書誌事項
- タイトル
- Proof theory for theories of ordinals III:$\Pi_{N}$-reflection
- 著者
- Toshiyasu Arai
収録刊行物
-
- Gentzen's centenary: the quest of consistency
-
Gentzen's centenary: the quest of consistency なし 357-424, 2015