中国科研项目学科分类与代码

中国科研项目《学科分类与代码》（GB/T 3745-92）一级学科：110 数学二级学科： 数学史 数理逻辑与数学基础三级学科： 演绎逻辑学(亦称符号逻辑学)