序号分类号分类名称相关图书
1 O141.1 命题演算、谓词演算、类演算 相关图书
2 O141.2 证明论 相关图书
3 O141.3 递归论（递归函数、能行性理论） 相关图书
4 O141.4 模型理论 相关图书
活跃分类查询: 打靶试验 发动机制造工艺 泡沫塑料 化学工业 自动推理、机器学习 立体声广播 通信 微波通信天线 门座式 冷冲设计 矿山开采理论 工业技术 孢子桐病 修理工艺 心脏疾病 验方与单方 微生物研究与微生物实验 微生物学 空间（宇宙）生物学 甲状旁腺 高分子化学（高聚物） 数理逻辑（符号逻辑） 古建筑 新闻、广播、出版 中亚 文体论 其他各国地理 邮电经济 中国共产党 心理过程与心理状态