数理逻辑导引

收藏
  • 【作者】冯琦 编著
  • 【关键词】数理逻辑
  • 【出版社】科学出版社
  • 【出版日期】2017
  • 【ISBN】978-7-03-054579-4
  • 【中图分类号】 O141
  • 【内容简介】本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致性、同质缩小、型省略等基本定理;有关数的经典理论的完全性和可定义性分析;哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。全部展开
  • 【页码】13,510页
  • 【丛书名】现代数学基础丛书
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 温州市图书馆 温州市龙湾区图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。