序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 水运工作组织与管理 车辆防锈、除锈及防腐措施 建筑艺术作品的保护、修缮和仿造 各种用途香料 群延迟相位的测量及仪器 触轮式受电器 磨床设计、制造与维修 铸焊设备 保护气体 放射性金属矿开采 水产养殖技术 迎春花 各种放射性同位素在治疗上的应用 麻风合并症 图谱 海洋生物学 区域水文地理 高分子化学（高聚物） 凝聚态物理学 物理学 比拟法、模拟理论 命题演算、谓词演算、类演算 民族史志 通史 表演学 古典舞蹈 对外汉语教学 耕地管理与保护 人权的国际保护 蒙台涅（Montaigne,M.E.de,1533~1592年）