Bounded Arithmetic, Propositional Logic and Complexity Theory(Encyclopedia of Mathematics and its Applications)

数理逻辑与数学基础

原   价:
1631.00
售   价:
1223.00
优惠
平台大促 低至8折优惠
发货周期:预计5-7周发货
作      者
出  版 社
出版时间
1996年02月01日
装      帧
精装
ISBN
9780521452052
复制
页      码
360
开      本
228×152×24mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 100 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
An up-to-date, unified treatment of research in this interdisciplinary subject, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and computational complexity theory and lists a number of intriguing open problems.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个