文档预览： 学 科 代 码 学 科 名 称 110 数学 110.11 数学史 110.14 数理逻辑与数学基础 110.141 演绎逻辑学(亦称符号逻辑学) 110.142 证明论(亦称元数学) 110.143 递归论 110.144 模型论 110.145 公理集合论 110.146 数学基础 110.1499 数理逻辑与数学基础其他 ... 点击下载