中介公理集合论系统(Ⅰ)——两种谓词的划分与定义期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

中介公理集合论系统(Ⅰ)——两种谓词的划分与定义

作者姓名：	朱梧槚肖奚安

作者单位：	南京大学(朱梧槚)，空军气象学院(肖奚安)

摘要：	本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS.
本文献已被 CNKI 等数据库收录！