27 学科分类与代码(GB/T13745-92) 代 码 学 科 名 称 110 数学 110.11 数学史 110.14 数理逻辑与数学基础 110.1410 演绎逻...
tab_xkmcdm国标学科代码国标学科名称110数学11011数学史11014数理逻辑与数学基础1101410演绎逻辑学1101420证明论1101430递归论1101440模型...
