序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 船体修理工艺 车辆停厝 结构原理、结构力学 铁路、公路两用车 行李车、邮车 橡胶止水带 水工材料试验 建筑艺术作品的保护、修缮和仿造 计算机集成制造 机械、仪表工业 量具热处理 光学显微镜（相差、偏光） 油气输送与运输 工业技术 网箱养鱼 其他 运材 耕作防治 胃、十二指肠 腹膜后间隙 腹部外科学 关节 多食亚目 工程地质学 实验技术与测量 命题演算、谓词演算、类演算 爱尔兰共和国（1937年~） 通史 其他语言 思想政治教育和精神文明建设