坂本 伸幸 | 東北大学理学研究科数学専攻

スポンサーリンク

概要

• 坂本 伸幸の詳細を見る
• 同名の論文著者
• 東北大学理学研究科数学専攻の論文著者

関連著者

• 坂本 伸幸

  東北大学理学研究科数学専攻

• 田中 一之

  東北大学理学研究科

著作論文

• 2階算術における実数と複素数 (圏論と証明論の新たな融合を目指して)
• 2階算術におけるヒルベルトの零点定理 (圏論と証明論の新たな融合を目指して)
• 弱Konigの補題,弱弱Konigの補題の一様版 (シークエント計算による証明論)

スポンサーリンク