Toggle navigation
中图分类查询
分类
图书
搜索
关于中图法
中图分类
O 数理科学和化学
O1 数学
O14 数理逻辑、数学基础
O141 数理逻辑(符号逻辑)
O141.1 命题演算、谓词演算、类演算
O141.12 谓词演算(命题函项演算)
序号
分类号
分类名称
相关图书
目录无下级分类记录...
活跃分类查询:
高度与速度控制系统
车速里程表
无线电电信设备
特殊地区筑路
会让站与越行站、中间站配置与设计
同轴电力电缆供电方式(CC方式)
芳香烃
自动化技术、计算机技术
有源滤波器
无机材料
珩床
工业技术
农业工程勘测、土地测量
农业土壤分类
小儿各生理系统外科学
高血压
两栖纲
哲水蚤目
脂肪代谢
增血压素(抗利尿素)
驯化现象
植物遗传学
多羟基一元酸和多元酸
谓词演算(命题函项演算)
汉(公元前206~公元220年)
现代词汇
各派教学法
学绩管理制度
各国经济
区域经济学