Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
专科年鉴、年刊
设备及仪表制造工艺
跨线桥(立交桥)
烟箱、灰箱
溶剂与增塑剂化学反应过程
计算机软件
群延迟相位的测量及仪器
直流牵引变电所
炼铁机械与生产自动化
声阻抗的测量
大豆
小黑麦
神经性耳聋
耳聋
耳神经系疾病
耳科学、耳疾病
耳鼻咽喉科真菌病
耳鼻咽喉外科学
皮肤病学与性病学
臀部肿瘤
声速、声道
吸收与散射
谓词演算(命题函项演算)
方针政策及其阐述
文献标引与编目
经济
战略导弹军事工程
高原作战、山地作战
社会科学理论与方法论
丹麦哲学