序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 交通工程与交通管理 建筑勘测 各种微型计算机 数据处理、数据处理系统 自动化系统 数字通信网 通信系统（传输系统） 通信 真空电子技术 表面精整加工、研磨、抛光 拉制原理 回火 畜牧业现状与发展 菌类（食用菌） 绿叶菜类 选种、选择育种 一般性问题 海洋光学 命题演算、谓词演算、类演算 电影、电视艺术创作方法 艺术 旅馆业 服务业 农业系统工程 农业计划工作 女性心理学 十八世纪~十九世纪前期哲学 其他 莱布尼兹（Leibniz,G.W.1646~1716年） 伯麦（Bohme,Jakob.1575~1624年）