自然演绎逻辑导论

收藏
  • 【作者】陈晓平
  • 【关键词】演绎推理
  • 【出版社】中山大学出版社
  • 【出版日期】2006
  • 【ISBN】7-306-02678-X
  • 【中图分类号】 B812.23
  • 【内容简介】本书在自然演绎系统的框架内展开,阐述了命题逻辑、谓词逻辑、模态逻辑等演绎逻辑的基本内容。全部展开
  • 【页码】12,281页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 温州市图书馆

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