基礎づけ言語としての直観主義論理：その拡張を考える
基礎づけ言語としての直観主義論理：その拡張を考える
复制标题
直觉主义逻辑作为基本语言：对其扩展的思考
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
岡本賢吾
中科院分区：
文献类型：
--
作者：
Yuta Takahashi;Mitsuhiro Okada;原塑;Tomoyuki Yamada and Katsuhiko Sano;手嶋 英貴;荒谷大輔;Masanobu Toyooka and Katsuhiko Sano;岡本賢吾
