ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .14.

被引：452

作者：

IMAI, Y

ISEKI, K

机构：

来源：

PROCEEDINGS OF THE JAPAN ACADEMY | 1966年 / 42卷 / 01期

关键词：

D O I：

10.3792/pja/1195522169

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：19 / &

相关论文

共 2 条

[1] ALGEBRAIC FORMULATIONS OF PROPOSITIONAL CALCULI [J].

ISEKI, K .

PROCEEDINGS OF THE JAPAN ACADEMY, 1965, 41 (09) :803-&

[2]

Prior A. N., 1962, FORMAL LOGIC