朱梧槚,肖奚安.中介逻辑的命题演算系统(Ⅱ)(英文)[J].数学研究及应用,1988,8(3):457~466
中介逻辑的命题演算系统(Ⅱ)(英文)
Propositional Calculus System of Medium Logic(Ⅱ)
投稿时间:1986-11-18  
DOI:10.3770/j.issn:1000-341X.1988.03.025
中文关键词:  
英文关键词:
基金项目:
作者单位
朱梧槚 南京大学 
肖奚安 南京大学 
摘要点击次数: 1635
全文下载次数: 1685
中文摘要:
      
英文摘要:
      
查看全文  查看/发表评论  下载PDF阅读器