Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
导航设备
导航电子电路装置
农田改良土地措施
小儿骨科学
脂肪族醛和酮(羰基化物)及其衍生物
谓词演算(命题函项演算)
隋、唐书法
世界文学
世界中学生运动会
世界大学生运动会
世界运动会
奥林匹克运动史
冬季运动会
夏季运动会
奥林匹克运动会
国际体育运动会、运动竞赛
地区性体育运动组织
其他
国际聋哑人体育联合会
国际中学生体育联合会
编排、方法
运动员选材
青少年、妇女的训练
文化专题研究
思想教育、路线教育
党章
革命的战略和策略
政治、法律
哲学理论
马克思主义的学习和研究