Proof theory for theories of ordinals III:$\Pi_{N}$-reflection
-
- Arai Toshiyasu
- 千葉大学
Bibliographic Information
- Title
- Proof theory for theories of ordinals III:$\Pi_{N}$-reflection
- Author
- Toshiyasu Arai
Journal
-
- Gentzen's centenary: the quest of consistency
-
Gentzen's centenary: the quest of consistency なし 357-424, 2015
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782253616008
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN