中田 昌宏 | 神戸大学自然科学研究科

スポンサーリンク

概要

• 中田 昌宏の詳細を見る
• 同名の論文著者
• 神戸大学自然科学研究科の論文著者

関連著者

• 中田 昌宏

  神戸大学自然科学研究科

• 八杉 満利子

  京都産業大学理学部

• 実藤 法道

  世羅高等学校

• 中田 昌宏

  京都産業大学理学研究科

著作論文

• Classical and Constructive Propositional Subsystems of NDK
• NDKにおける自然な証明についての考察(証明論における順序数)

スポンサーリンク