秋吉 亮太 | 慶應義塾大学
スポンサーリンク
概要
関連著者
著作論文
- An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation)
- 非可述性の分析としての証明論(あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)