Basic Proof Theory

作者: A. S. Troelstra / H. Schwichtenberg
出版社: Cambridge University Press
出版年: 2000-7-31
页数: 432
定价: USD 49.00
装帧: Paperback
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521779111

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

普罗米
普罗米
8月31日 在读


Hephan
Hephan
4月8日 在读


Snowonion
Snowonion
3月6日 在读


Kitkelaidrutan
Kitkelaidrutan
2016年10月13日 想读


> 3人在读

> 3人读过

> 12人想读

二手市场

订阅关于Basic Proof Theory的评论:
feed: rss 2.0