现代逻辑学讲义 数理逻辑

收藏
  • 【作者】李小五 编著
  • 【关键词】逻辑 高等学校 教材 数理逻辑 高等学校 教材
  • 【出版社】中山大学出版社
  • 【出版日期】2005
  • 【ISBN】7-306-02588-0
  • 【中图分类号】 B81/O141
  • 【内容简介】本书分为句形的基本性质、公理化系统、二值语义与系统性质等九章,介绍了句子逻辑的基本内容和量化逻辑的基础ーー一阶逻辑的基本内容。全部展开
  • 【页码】263页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

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