|
国家科技期刊平台
|
注册
中文
EN
首页
|
期刊导航
|
南京航空航天大学学报
|
MS中的自然数系统
MS中的自然数系统
张东摩
施庆生
南京航空航天大学学报
1997,Vol.29
Issue(2):179-184,6.
下载
✕
南京航空航天大学学报
1997,Vol.29
Issue(2)
:179-184,6.
MS中的自然数系统
张东摩
1
施庆生
2
作者信息
1.
南海航空航天大学计算机科学与工程系
2.
南京建筑工程学院基础部
折叠
摘要
关键词
数理逻辑
/
自然数系统
/
公理集合论
/
中介逻辑
分类
数理科学
引用本文
复制引用
张东摩,施庆生..MS中的自然数系统[J].南京航空航天大学学报,1997,29(2):179-184,6.
南京航空航天大学学报
OA
北大核心
CSCD
ISSN:
2097-6771
下载
访问量
0
|
下载量
0
段落导航
相关论文
摘要
关键词
分类
引用文本