序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 航空仪表厂 航空制造工艺 列车运行组织及调度工作 模型试验 自动化技术在各方面的应用 电工技术 超声工程 特种结构材料 神经病学与精神病学 肥胖症 全身性化脓性感染 肉足纲（根足纲） 植物生理生态学 误差理论 命题演算、谓词演算、类演算 数理科学和化学 自然科学理论与方法论 音乐工作者 中国 中国金融、银行 金融市场 金融、银行理论 金融、银行 财政、金融 企业财务管理 企业经济 经济计划与管理 国民收入、国民财富 经济 人才学