Sachio Hirokawa, Yuichi Komori, Izumi Takeuti: "A reduction rule for peirce formula" Studia Logica. 56. 419-426 (1996)

Sachio Hirokawa, Yuichi Komori, Izumi Takeuti: "A reduction rule for peirce formula" Studia Logica. 56. 419-426 (1996)
复制标题

Sachio Hirokawa、Yuichi Komori、Izumi Takeuti:“皮尔斯公式的归约规则”Studia Logica。

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

文献摘要

相似文献