菅野 幸雄 | (株) エコフロンティア

スポンサーリンク

概要

• 菅野 幸雄の詳細を見る
• 同名の論文著者
• (株) エコフロンティアの論文著者

論文 | ランダム

• Consistency Proof via Pointwise Induction
• From the Attic
• ニ階算術の諸公理AC, DC, CA, BIの関係 : Cut-Eliminationの初等的応用として(順序数の基本列と組合せ的原理の関係)
• Cut-elimination for SBL
• 竹内の基本予想について

もっと見る

スポンサーリンク