学科分类代码表

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