池田 一磨 | 筑波大学数学研究科

スポンサーリンク

概要

• 同名の論文著者
• 筑波大学数学研究科の論文著者

関連著者

• 池田 一磨

  聖徳大学人文学部

• 池田 一磨

  筑波大学数学研究科

• 池田 一磨

  聖徳大学児童学部

著作論文

• Normal forms for derivations in Arai's AI$_\xi^-$
• A normal form for arithmetical derivations implying the $\omega$-consistency of arithmetic(Metamathematics and it's applications)

スポンサーリンク