序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 图书目录、文摘、索引 丛书 静定结构 平台 冷凝水洗 超外差式收音机 电工技术 静电加速器、串列式静电加速器 控制系统及设备 工业用炉 工业用热工设备 能源与动力工程 力能供应 工业技术 X线诊断学 保健组织与事业（卫生事业管理） 植物胚胎学（植物发生学） 植物形态学 分子生物学 移动、路径 命题演算、谓词演算、类演算 各国文学 北方方言（华北官话） 文化、科学、教育、体育 各国军事 国家行政管理 管理组织学 管理学 教育组织、学校 社会科学总论