2011年
An Ordinal-Free Proof of the Cut-elimination Theorem for Π11-CA with ω-rule (abstract)
The Bulletin of Symbolic Logic
- ,
- 巻
- 16
- 号
- 開始ページ
- 293
- 終了ページ
- 記述言語
- 英語
- 掲載種別
- 研究発表ペーパー・要旨（国際会議）
秋吉 亮太
アキヨシ リョウタ (Ryota Akiyoshi)
更新日: 04/23