Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
编组站信息传输、信息交换系统
各种配件
电子计算机辅助设计
机械与设备制造
化工通用机械与设备
语音合成
轴类及曲轴车床
油气开采机械化、自动化
落叶松
采伐迹地清理
病害及其防治
生物学鉴定
康复
受体病
苔藓动物门
肉孢子目
水库水文实验
系统晶体化学
受激态
热弹性波
塑性流动问题
谓词演算(命题函项演算)
秦、汉(公元前221~公元220年)
音乐物理学、音乐生理学
朝鲜语
皮革
其他
人口统计学
人口学史
与其他学科的关系