序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 自由飞行风洞 潜水船 桥梁荷载 路肩的维修 交通运输 还原、还原剂 测量原理 电压调整 流线自动分析 压缩空气性能 桅杆式 彩色探鱼仪 饵料添加剂 一般性问题 饲料作物、牧草 中毒性溶血症性贫血 窃虫科 水生生物化学 变化 晶体结构 命题演算、谓词演算、类演算 雕塑艺术理论的基本问题 色彩学 机器词典与词表 货币管理 交通运输机械工业 工业建设与发展 专门人民检察院 宗教组织和宗教教育 行为主义派