枚举量词与谓词演算

模态框（Modal）标题

在这里添加一些文本

模态框（Modal）标题

中国科学院数学与系统科学研究院期刊网

ISSN 0583-1431　CN 11-2039/O1

数学学报

首页
期刊介绍
编委会
投稿指南
期刊订阅
下载中心
联系我们
English

枚举量词与谓词演算

莫绍揆

数学学报 . 1964, (2): 218 -230 . DOI: 10.12386/A1964sxxb0022

双月刊，创刊于1936年
主办：中国科学院数学与系统科学院
ISSN 0583-1431　
CN 11-2038/O1

地址：北京市海淀区中关村东路55号《数学学报》编辑部
邮编：100190
E-mail: acta@math.ac.cn

×

扫码分享

京公网安备11010802040191号
京ICP备05002806号-7　　
版权所有 © 《数学学报》编辑部