逻辑——从三段论到不完全性定理

收藏
  • 【作者】熊明
  • 【关键词】哲理逻辑
  • 【出版社】科学出版社
  • 【出版日期】2016
  • 【ISBN】978-7-03-047702-6
  • 【中图分类号】 B815
  • 【内容简介】本书以公理化思想为主导,从亚里士多德的三段论到哥德尔的不完全性定理,阐明传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线,分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统,并介绍了哥德尔完全性定理与不完全性定理及相关的重要成果。全部展开
  • 【页码】167页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 温州市图书馆 龙游县图书馆

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