A First Course in Logic:An Introduction to Model Theory, Proof Theory, Computability, and Complexity(Oxford Texts in Logic)

逻辑入门:模型论,证明论,可计算性和复杂性导论

数理逻辑与数学基础

售   价:
2008.00
发货周期:国外库房发货,通常付款后3-5周到货!
作      者
出  版 社
出版时间
2004年07月08日
装      帧
精装
ISBN
9780198529804
复制
页      码
452
开      本
240x168mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
馆藏图书馆
Harvard Library
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个