Proof Theory:A selection of papers from the Leeds Proof Theory Programme 1990

证明理论

计算机软件

售   价:
319.00
发货周期:预计5-7周发货
作      者
出  版 社
出版时间
2008年02月01日
装      帧
平装
ISBN
9780521054164
复制
页      码
320
开      本
228×152×18mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 49 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
A collection of expository and research articles derived from the SERC ’Logic for IT’ Summer School and Conference on Proof Theory.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个