【预订】Recursion Theory and Computational Complexity 9783642110
美国库房发货,通常付款后3-5周到货!
/ 2010-11-30
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9783642110719 Author 作者 Lolli Format 版本 平装-胶订 Pages Number 页数 236页 Publication Date 出版日期 2010-11-30 Shipping Weight 商品重量 760g Language 语种 英语 Book Contents 内容简介 S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory.
¥363.00
【预订】Cake Recipes 2022: Delicious Recipes to Surprise Your Gu
国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781803507446 Author 作者 Lolli Format 版本 平装-胶订 Pages Number 页数 222页 Publisher 出版社 Mike Lolli Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.47 Shipping Weight 商品重量 0.67磅 Language 语种 其它(含多语)
¥298.00
预订 Recursion Theory and Computational Complexity 97836421107
海外仓库发货,通常付款后4-9周到货!
/ 2010-10-29
/ Springer
图书信息 书号: 9783642110719 作者: G Lolli 装帧: 平装-胶订 页数: 236页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-10-29 重量: 1g 语种: 其它(含多语) 内容简介 S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and rec
¥493.00
【预订】The Meaning of Proofs 9780262544269
国外库房发货,通常付款后3-5周到货!
/ 2022-09-27
Product Details 基本信息 ISBN-13 书号 9780262544269 Author 作者 Gabriele Lolli Format 版本 平装-胶订 Pages Number 页数 176页 Publisher 出版社 The MIT Press Publication Date 出版日期 2022-09-27 Product Dimensions 商品尺寸 8.01 x 5.30 x 0.52 Shipping Weight 商品重量 0.49 Language 语种 其它(含多语) Book Contents 内容简介 Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story.In The Meaning of Proofs, mathematician Gabriele Lolli argues that to write a mathematical proof is tantamount to inventing a story. Lolli offers not instructions for how to write mathematical proofs, but a philosophical and poetic reflection on mathematical proofs as narrative. Mathematics, imprisoned within its symbols and images, Lolli writes, says nothing if its meaning is not narrated in a story. The minute mathematicians open their mout
¥165.00
预订 Guida Alla Teoria Degli Insiemi 9788847007680
海外仓库发货,通常付款后4-9周到货!
/ 2008-02-13
/ Springer
图书信息 书号: 9788847007680 作者: Gabriele Lolli 装帧: 平装-胶订 页数: 148页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.0 cm 出版日期: 2008-02-13 重量: 1g 语种: 其它(含多语) 内容简介 Il libro vuole aiutare a studiare la teoria degli insiemi indicando l'articol
¥393.00