当前位置： 查字典图书网 > 编程 > The Little Prover> 短评

The Little Prover•短评

点赞排序 | 评分排序 | 更新排序
The Little Prover

书名： The Little Prover
作者：
出版社： The MIT Press
出版年： 2015-7-10
页数： 248
定价： USD 38.00
装帧： Paperback
ISBN： 9780262527958