Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
序号
分类号
分类名称
相关图书
1
O141.12
谓词演算(命题函项演算)
相关图书
2
O141.13
类演算
相关图书
活跃分类查询:
养路机具与设备
路基工程
驼峰溜放自动化
各种房屋空气调节
钢板结构
制材学
骨架型催化剂的制备
边扫描边跟踪系统
场的造型及模拟技术
轧制-挤压联合
其他
工程流体力学
蚕种保护
狩猎组织和人员
农业生物学
风湿热
感染性溶血性贫血
药材鉴定
植物学
相对论
命题演算、谓词演算、类演算
金文
上古史
民族史志
书法
各种画技法:按题材分
语言的分类
迭罗汉
各国法律
战后恢复和发展社会主义经济时期(1946~1953年)