电脑体验，效果更佳

孙西芃图谱-自然科学领域：

相关人员

周平 姜明

研究领域

弱完备性定理 广义量词 一阶格值逻辑系统LF（X）

所属机构

四川成都 西南财经大学数学系 西南民族大学电信学院 四川师范大学数学与软件科学学院

标签云