Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
航天站(空间站)
附属构造
通信、信号理论
土压力、抗力
机器人
无线电电子学、电信技术
材料腐蚀与保护
筏式养殖
蔬菜病虫害
农业蜱螨学
法医学
滑膜肿瘤
输卵管手术
克山病
鼠疫
植物传染防止措施
传染病预防
流行病学与防疫
植物繁殖
生态适应
离子交换剂
谓词演算(命题函项演算)
人物总传:按时代分
《红楼梦》研究与评论
编辑工作
基督教史
伊斯兰教史
道教史
对宗教的分析和研究
马克思主义哲学在中国的传播与发展