An Introduction to Mathematical Logic and Type Theory

作者: Peter B. Andrews
出版社: Springer
副标题: To Truth Through Proof
出版年: 2002-7-31
页数: 390
定价: USD 169.00
装帧: Hardcover
ISBN: 9781402007637

在哪儿借这本书  · · · · · ·

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

谁读这本书?

penguinfreud
penguinfreud
4月3日 想读


豌豆黄
豌豆黄
1月28日 想读

tags:programming Math PLT

云熊
云熊
1月28日 想读


blue
blue
2015年12月4日 想读


> 1人在读

> 15人想读

二手市场

订阅关于An Introduction to Mathematical Logic and Type Theory的评论:
feed: rss 2.0