序号分类号分类名称相关图书
1 O141.1 命题演算、谓词演算、类演算 相关图书
2 O141.2 证明论 相关图书
3 O141.3 递归论（递归函数、能行性理论） 相关图书
4 O141.4 模型理论 相关图书
活跃分类查询: 书目汇刻 静力试验 倾卸式 建筑科学 服饰美学、服装色彩学 工艺 土农药 氮杂苯（吡啶）族 计算机仿真 测量和检验 裸电线 特种结构材料 工业技术 动物医学（兽医学） 筑床和起垄机械 经济作物病虫害 腹股沟疝 经穴图谱 应用统计数学 数理逻辑（符号逻辑） 古代史（~486年） 民族史志 中期封建社会（10~15世纪） 翻译 企业生产管理 企业经济 丛林作战 哲学、宗教 斯大林著作 列宁著作