Proofs and Types

作者: Jean-Yves Girard / Yves Lafont / Paul Taylor
出版社: Cambridge University Press
出版年: 1989-4-28
页数: 192
定价: USD 49.95
装帧: Hardcover
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521371810

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

谁读这本书?

Kitkelaidrutan
Kitkelaidrutan
12月6日 想读


溪水流泉
溪水流泉
12月4日 想读


delta
delta
11月9日 想读


> 4人在读

> 1人读过

> 19人想读

二手市场

订阅关于Proofs and Types的评论:
feed: rss 2.0