序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 飞机制造 水路运输技术管理 航标管理机构 水路运输 架设方法 交通运输 气流模型 纺纱设备（纺机） 微处理机 计算技术、计算机技术 人工智能理论 自动化基础理论 三极管 带感应耦合效应的仪器 硅太阳能电池 滚雷、跳雷 蔷薇、玫瑰、月季 丰产试验（经验）、农业技术推广 视网膜及视神经疾病 种小蜂科 胆囊收缩素 X射线晶体学 强相互作用 命题演算、谓词演算、类演算 青少年心理学 数理经济学派（洛桑学派） 刑事诉讼法 现场勘查 新托马斯主义（新经院哲学） 马克思主义、列宁主义、毛泽东思想、邓小平理论