科技创新六、学科分类与代码

六、学科分类与代码代 码学 科 名 称110数学110.11数学史110.14数理逻辑与数学基础110.1410演绎逻辑学(亦称符号逻辑学)110.1420证明论(亦称元数学)110.1430递归论1