数学、计算机学科分类与代码

数学、计算机学科分类与代码代 码学 科 名 称110数学110.11数学史110.14数理逻辑与数学基础110.1410演绎逻辑学(亦称符号逻辑学)110.1420证明论(亦称元数学)110.1430

腾讯文库数学、计算机学科分类与代码数学、计算机学科分类与代码