数理逻辑基础 下册

收藏
  • 【作者】胡世华陆钟万
  • 【关键词】数理逻辑
  • 【出版社】科学出版社
  • 【出版日期】2015
  • 【ISBN】978-7-03-046422-4
  • 【中图分类号】 O141
  • 【内容简介】本书介绍数理逻辑的基础知识,包括逻辑验算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。本书共六部分,分上、下两册。本册为下册。全部展开
  • 【页码】229 434页
  • 【丛书名】现代数学基础丛书
  • 【文献类型】图书
  • 【所属馆】

    杭州图书馆 临平区图书馆 温州市图书馆 湖州市图书馆 绍兴图书馆 更多 +

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