序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 橡胶工业 原子能工业 航空仪表、航空设备、飞行控制与导航 制造工艺与设备 沙漠地区试验 其他 消防设备 高层建筑 抗震动结构、防灾结构 其他 体育器具制造工业 各种加工纸 原料及辅助物料 智能网 无线电技术 复合材料轧制 砂轮机 兽医基础科学 输尿管损伤 护士 藻类 细胞工程 辐射和温度测定仪器 命题演算、谓词演算、类演算 教育经济学 计划 国防建设与战备 自然辩证法 选集、文集 马克思、恩格斯著作