数理逻辑

收藏
  • 【作者】张清宇 主编
  • 【关键词】数理逻辑 研究生 教材
  • 【出版社】中国社会科学出版社
  • 【出版日期】2010
  • 【ISBN】978-7-5004-8543-8
  • 【中图分类号】 O141
  • 【内容简介】本书介绍数理逻辑的基本内容,如经典一阶逻辑(包括命题逻辑和谓词逻辑)的句法、语义、逻辑演算(形式证明)以及刻画句法和语义之间关系的完全性定理,初步的模型论内容,集合论初步知识,哥德尔第二不完全性定理以及所需的递归论内容等。全部展开
  • 【页码】128页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 淳安图书馆分馆

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