A deduction theorem schema for deductive systems of propositional logics
A deduction theorem schema for deductive systems of propositional logics
复制标题
命题逻辑演绎系统的演绎定理模式
DOI：
10.1007/bf00370679
复制
发表时间：
1991
期刊：
影响因子：
0.7
通讯作者：
W. Dziobiak
中科院分区：
文献类型：
--
作者：
J. Czelakowski;W. Dziobiak
