Structural Proof Theory

自然辩证法

原   价:
1032.5
售   价:
826.00
优惠
平台大促 低至8折优惠
发货周期:预计5-7周发货
作      者
出  版 社
出版时间
2001年09月08日
装      帧
ISBN
9780521793070
复制
页      码
276
开      本
228
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个