学科代码表

110 , 数学11011 , 数学史11014 , 数理逻辑与数学基础1101410 , 演绎逻辑学1101420 , 证明论1101430 , 递归论1101440 , 模型论1101450 ,