序号分类号分类名称相关图书
1 O141.12 谓词演算（命题函项演算） 相关图书
2 O141.13 类演算 相关图书
活跃分类查询: 电机、电气元件及其装置 螺旋桨 安全监督及监督装置 一般性问题 制图、绘图技术 低温洗涤剂 基础理论 电气化、电能应用 电气设备 焊接缺陷及质量检查 炉壁厚度自动检测 森林遥感 其他 无性繁殖 骨科学（运动系疾病、矫形外科学） 门脉性肝硬变 繁殖器官 海参纲 岩石产状、结构和构造 高层大气探测 有机重量分析 容量分析（滴定分析法） 命题演算、谓词演算、类演算 零售贸易 农业企业组织与管理 农业经济信息 中国 婚姻制度、结婚、离婚 学习 社会科学总论