| 编号 | 名称 |
|---|---|
| O141 | 数理逻辑（符号逻辑） |
| O142 | 应用数理逻辑 |
| O143 | 数学基础 |
| O144 | 集合论 |
中图分类码
《中国图书馆分类法》（简称《中图法》）是中国通用的综合性图书分类法，广泛用于图书馆、档案馆等文献信息机构的文献分类与检索。《中图法》自1975年首次出版以来，历经多次修订和更新，目前最新的版本是《中图法》第五版，于2010年出版。更多详情可查看百度百科。
| 编号 | 名称 |
|---|---|
| O141 | 数理逻辑（符号逻辑） |
| O142 | 应用数理逻辑 |
| O143 | 数学基础 |
| O144 | 集合论 |
《中国图书馆分类法》（简称《中图法》）是中国通用的综合性图书分类法，广泛用于图书馆、档案馆等文献信息机构的文献分类与检索。《中图法》自1975年首次出版以来，历经多次修订和更新，目前最新的版本是《中图法》第五版，于2010年出版。更多详情可查看百度百科。