海外直订Ordinal Analysis with an Introduction to Proof Theory 序数
¥669.00
明星店铺 中华商务进口图书旗舰店
海外直订Advances in Mathematical Logic: Dedicated to the Memory
¥1539
明星店铺 中华商务进口图书旗舰店
预订 Advances in Mathematical Logic [ISBN:9789811641756] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1367
预订 Advances in Mathematical Logic: Dedicated to the Memory o 【全球购】进口原版图书,约5-8周到达国内后发出
¥1623
按需印刷Proceedings of the 11th Asian Logic Conference 预订,预计下单后2-3周左右发货!
¥1383
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数
¥865.00
明星店铺 中华商务进口图书旗舰店
【预订】Proceedings of the 11th Asian Logic Conference 978981436 美国库房发货,通常付款后3-5周到货!
¥920.00
【预订】Advances in Mathematical Logic 9789811641756 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811641756 Author 作者 Toshiyasu Arai Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-01-25 Language 语种 其它(含多语) Book Contents 内容简介 ?Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91.Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert’s program about the consistency of mathematics. Based on Gentzen’s pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti’s fundamental conje
¥1440
【预订】Ordinal Analysis with an Introduction to Proof Theory 97 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811564611 Author 作者 Toshiyasu Arai Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-08-12 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.69 Shipping Weight 商品重量 1.03 Language 语种 其它(含多语) Book Contents 内容简介 This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises a
¥623.00
预订 序数分析与证明理论导论 Ordinal Analysis with an Introduction to Proo 【全球购】进口原版图书,约5-8周到达国内后发出
¥651.00
【预售 按需印刷】Proceedings of the 11th Asian Logic Confe
¥1383
【预订】Arthroscopic Management of Ulnar Pain 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥2714.28
预订Ordinal Analysis with an Introduction to Proof Theory 预订,预计下单后2-3周左右发货!
¥1097