An Interpretation of Brouwer’s Argument of the Bar Induction via Infinitary Proof Theory
An Interpretation of Brouwer’s Argument of the Bar Induction via Infinitary Proof Theory
复制标题
用无限证明理论解释布劳威尔的条形归纳论证
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Ryota Akiyoshi
中科院分区：
文献类型：
--
作者：
土谷 享;Hashim Siti Norulhuda;伊勢 祥子;山東 信介;國生龍平;國生龍平;秋吉亮太;Ryota Akiyoshi;Ryota Akiyoshi
