2017年12月22日

【其它】数学学科编码

摘要: 110.11 数学史 110.14 数理逻辑与数学基础 110.1410 演绎逻辑学(符号逻辑学) 110.1420 证明论(元数学) 110.1430 递归论 110.1440 模型论 110.1450 公理集合论 110.1460 数学基础 110.17 数论 110.1710 初等数论 110 阅读全文

posted @ 2017-12-22 01:36 卞爱华 阅读(649) 评论(0) 推荐(1) 编辑

导航