序号分类号分类名称相关图书
1 O141.1 命题演算、谓词演算、类演算 相关图书
2 O141.2 证明论 相关图书
3 O141.3 递归论（递归函数、能行性理论） 相关图书
4 O141.4 模型理论 相关图书
活跃分类查询: 社会与环境 内燃机车 地铁供电、电气设备 总体规划 煤化学及煤的加工利用 元素有机化合物的生产 检索机 机器人技术 网络安全 光检测技术 理论 集装箱、装卸容器 焊接缺陷及质量检查 金属－非金属复合材料 复合材料 高分子材料 水产机械仪器 血液和造血系统药物 脑器质性精神障碍 鼠李目 裸子植物亚门 区域海岸地貌 水文科学（水界物理学） 氮杂苯（吡啶）的同系物及其衍生物 无线电物理学 数理逻辑（符号逻辑） 普及读物 赞比亚 大众传播 基本建设经济