The Little Prover

作者: Daniel P. Friedman / Carl Eastlund
出版社: The MIT Press
出版年: 2015-7-10
页数: 248
定价: USD 38.00
装帧: Paperback
ISBN: 9780262527958

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

谁读这本书?

racaljk
racaljk
昨天 想读


养鱼家希尔伯特
养鱼家希尔伯特
1月12日 想读


Dinosaur Sr.
Dinosaur Sr.
1月11日 想读


一坪的海岸线
一坪的海岸线
1月9日 想读

tags:编程语言

> 8人在读

> 5人读过

> 138人想读

二手市场

订阅关于The Little Prover的评论:
feed: rss 2.0