序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 对有线通信、信号设备的干扰、测定及防护 站场工程 堤防施工 烟草发酵 食品胶体化学、流变学及物性学 干扰素 萃取法取油 材料 频率分割制微波中继通信 其他 其他 石油、天然气地质与勘探 物理试验法 制造粕类 侧柏 预测、预报 疣性表皮发育不良 子宫内膜异位症 心肌梗塞 病理性再生 铅中毒 昆虫资源学 眼蝶科 寄蛾科 超基性岩 原子物理学 命题演算、谓词演算、类演算 铁器时代 话剧配乐 劳动社会学