| 注册

MS中的自然数系统

张东摩 施庆生

南京航空航天大学学报1997,Vol.29Issue(2):179-184,6.
南京航空航天大学学报1997,Vol.29Issue(2):179-184,6.

MS中的自然数系统

张东摩 1施庆生2

作者信息

  • 1. 南海航空航天大学计算机科学与工程系
  • 2. 南京建筑工程学院基础部
  • 折叠

摘要

关键词

数理逻辑/自然数系统/公理集合论/中介逻辑

分类

数理科学

引用本文复制引用

张东摩,施庆生..MS中的自然数系统[J].南京航空航天大学学报,1997,29(2):179-184,6.

南京航空航天大学学报

OA北大核心CSCD

2097-6771

访问量0
|
下载量0
段落导航相关论文