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