命题演算、谓词演算、类演算 （O141.1）

序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 燃烧理论 热应力试验 风洞部件 机车乘务制 冷却系统 配水管网 吡啶回收 结构 套筒天线、套管天线 增量调制 腐蚀、防腐和涂层 爆破车 矿尘 鲜品贮藏 农田基本建设、农垦 钉齿耙 创伤 双叶甲科 核酸 海洋热力学 年变化 射流 命题演算、谓词演算、类演算 布隆迪 北伐战争（1926年7月~1927年7月） “二七”大罢工 空防 国防建设与战备 民族起源、发展、变迁 民族学