学科分类与代码(完整)

国家标准 GB/T13745-92《学科分类与代码》表110 数学110.11 数学史110.14 数理逻辑与数学基础110.1410 演绎逻辑学(亦称符号逻辑学)110.1420 证明论(亦称元数学