【预订】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
【预订】Arthroscopic Management of Ulnar Pain 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥2714.28
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数
¥669.00
明星店铺 中华商务进口图书旗舰店
海外直订Ordinal Analysis with an Introduction to Proof Theory 序数
¥865.00
明星店铺 中华商务进口图书旗舰店
【预售 按需印刷】Proceedings of the 11th Asian Logic Confe
¥1383
【预订】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
按需印刷Proceedings of the 11th Asian Logic Conference 预订,预计下单后2-3周左右发货!
¥1383
海外直订Advances in Mathematical Logic: Dedicated to the Memory
¥1539
明星店铺 中华商务进口图书旗舰店
预订Ordinal Analysis with an Introduction to Proof Theory 预订,预计下单后2-3周左右发货!
¥1097