新井 敏康 | Faculty of Integrated Arts and Sciences, Hiroshima University

スポンサーリンク

概要

• 同名の論文著者
• Faculty of Integrated Arts and Sciences, Hiroshima Universityの論文著者

関連著者

• 新井 敏康

  神戸大学自然科学研究科

• 新井 敏康

  Faculty of Integrated Arts and Sciences, Hiroshima University

著作論文

• Introducing the Hardline in Proof Theory
• Consistency Proof via Pointwise Induction
• From the Attic

スポンサーリンク