Public Professor Archive
神奈川大学 · 情報学部
研究关键词直観主義論理・数理論理学・非古典論理・証明論
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。
个性化匹配理由、联系角度与收藏保存需要登录后使用。
