面向计算机科学的数理逻辑

收藏
  • 【作者】陆钟万
  • 【关键词】数理逻辑 数理逻辑
  • 【出版社】科学出版社
  • 【出版日期】2002
  • 【ISBN】7-03-009657-6
  • 【中图分类号】 O141
  • 【内容简介】本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑全部展开
  • 【页码】13,263页
  • 【丛书名】中国科学院研究生教学丛书
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 宁波图书馆

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