序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 路基 施工组织与计划 儿童食品 电热工业、高温制品工业 氢气 工业气体 基本无机化学工业 混合与搅拌过程 锗二极管 电解继电器、电化学继电器 战车 战车、战舰、战机、航天武器 基础理论 高速流体加工设备及其加工 抛砂机 真空设备的制造工艺 鼻腔疾病 唾液腺肿瘤 妇科学 管孢藻目 地面气象观测 胶体 命题演算、谓词演算、类演算 系统科学 英国统治时期（1885~1966年） 国内外流通发行 科学发明、发现研究（创造学） 国家军事机关组织法 多值逻辑 逻辑学理论与方法论