数理逻辑 证明及其限度

收藏
  • 【作者】郝兆宽,杨睿之,杨跃著
  • 【关键词】数理逻辑 高等学校 教材
  • 【出版社】复旦大学出版社有限公司
  • 【出版日期】2020.08
  • 【ISBN】978-7-309-14568-7
  • 【中图分类号】 O141
  • 【内容简介】本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。全部展开
  • 【页码】15,255页页
  • 【丛书名】逻辑与形而上学教科书系列
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 宁波图书馆 湖州市图书馆 瑞安市图书馆 东阳市图书馆 更多 +

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