序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 新技术在航海上的应用 焊接材料 桥梁工厂 园林规划与建设 轻金属铸造 治疗传染病及寄生虫病药物 药物基础科学 心脏疾病 医学研究方法 现状与发展 一般理论 药用野生植物 新陈代谢与营养 细胞内膜系统 利古里亚海 单项要素的整理和统计法 天文学 声的共振与声的辐射 物理学研究方法 命题演算、谓词演算、类演算 中国画技法 艺术 各时代作品集 初级产品（总论） 政治制度史 社会生活与社会问题 民主党派及其活动 阶级结构与社会结构 中国政治 列宁著作