Substructural Logics(Studies in Logic and Computation)

子结构逻辑

人工智能

售   价:
1499.00
发货周期:预计5-7周发货
出  版 社
出版时间
1993年12月16日
装      帧
精装
ISBN
9780198537779
复制
页      码
396
开      本
234x156mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 97 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
BL A collection of papers by eminent logicians BL The only unified approach to this subject available Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck’s calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions, to produce a unified view of substructural logics.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个