池田 一麿 | 筑波大学

スポンサーリンク

概要

• 池田 一麿の詳細を見る
• 同名の論文著者
• 筑波大学の論文著者

関連著者

• 池田 一麿

  筑波大学

• 池田 一麿

  筑波大学数学研究科

著作論文

• 制御された二階述語計算の証明図に関する標準型定理 (シークエント計算による証明論)
• LKの証明図に関する標準型定理 (2階算術の諸体系の研究)

スポンサーリンク