Kyorin University · Unclassified · 准教授

Research keywords数理論理学・Mathematical Logic・公開準備中

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 公開準備中主要研究業績

• Proof theory

• Official profile
• KAKEN
• CiNii
• ORCID