2014年最新学科分类与代码

2014年最新学科分类与代码(摘选自国家标准《学科分类与代码》）代码学 科 名 称说 明110数学11011数学史11014数理逻辑与数学基础 包括演绎逻辑学（亦称符号逻辑学)；证明论（亦称元数