序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 监测试样采集 灭火飞机 林区道路 立体交叉口 毛纺织品的标准与检验 铵态氮肥 化工仪器、仪表及自动化装备 洁净技术 磁滞回线、磁化曲线测量及仪器 废水的处理与综合利用 矫形学 杂草 雷电 种苗、苗木检疫 中国 外科病理学、解剖学 潜血试验 无肠目 恒星内部结构和能量来源 命题演算、谓词演算、类演算 中国古典数学 风俗习惯 独立（1960年~） 近代史（1221~1919年） 各种画技法：按用途分 研究生教育机构 教育财政 企业财务管理 司法心理学 越南哲学