现代逻辑学讲义 模态逻辑

收藏
  • 【作者】李小五 编著
  • 【关键词】逻辑 高等学校 教材 模态逻辑 高等学校 教材
  • 【出版社】中山大学出版社
  • 【出版日期】2005
  • 【ISBN】7-306-02588-0
  • 【中图分类号】 B81/B815.1
  • 【内容简介】本书介绍句子层次上(命题型的)模态逻辑最基本的内容。包括公理化系统、关系语义与可靠性定理、典范模型与完全性定理等内容。全部展开
  • 【页码】237页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

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