Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
序号
分类号
分类名称
相关图书
1
O141.12
谓词演算(命题函项演算)
相关图书
2
O141.13
类演算
相关图书
活跃分类查询:
静力试验
简支梁桥
光电子技术、激光技术
故障诊断和维护
机械制造工艺
机械、仪表工业
金属学与热处理
矿井瓦斯
矿井大气
矿山安全与劳动保护
矿业工程
工业技术
各国绿化建设
其他
雾、雪暴、雷雨
命题演算、谓词演算、类演算
数学
数理科学和化学
各国人物传记
各时代作品集
教育学
各国金融、银行
中国金融、银行
金融、银行
财政、金融
会计
军事
当代国际共产主义运动(1956年4月~)
共产党、工人党情报局(1947年9月~1956年4月)
管理组织学