制御された二階述語計算の証明図に関する標準型定理 (シークエント計算による証明論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 池田 一麿

  筑波大学

関連論文

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

スポンサーリンク