岡田 光弘: "A Note on the Strong Normalizability of self-referential Logic" Phylosophy(三田哲学会誌). 95. 1-14 (1993)

岡田 光弘: "A Note on the Strong Normalizability of self-referential Logic" Phylosophy(三田哲学会誌). 95. 1-14 (1993)
复制标题

Mitsuhiro Okada:“关于自指逻辑的强规范化性的注释”哲学(三田哲学会杂志)95. 1-14 (1993)。

DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
--
中科院分区:
--
文献类型:
--
作者:

文献摘要

相似文献