【预订】Collected Papers 9783319954165 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319954165 Author 作者 Tarski Format 版本 精装 Pages Number 页数 770页 Publication Date 出版日期 2019-02-04 Language 语种 英语 Book Contents 内容简介 Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski’s published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.
¥2677
【预订】Collected Papers 9783319954226 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319954226 Author 作者 Tarski Format 版本 精装 Pages Number 页数 694页 Publication Date 出版日期 2019-02-04 Language 语种 英语 Book Contents 内容简介 Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski’s published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.
¥2068
【预订】A Formalization of Set Theory without Variables 97808218 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780821810415 Author 作者 Alfred Tarski Format 版本 平装-胶订 Pages Number 页数 318页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1987-12-31 Language 语种 英语 Book Contents 内容简介 Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski’s foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to computer scientists interested in developing very simple computer languages rich enough for mathematical and s
¥1118
英文原版 Undecidable Theories 不可判定理论 逻辑学与数学基础研究 Alfred Tarski 英文
¥118.00
预订 Collected Papers [ISBN:9783319953656] 【全球购】进口原版图书,预计3-6周左右到国内
¥1683
3-6周达 Introduction to Logic: And to the Methodology of Deduc 【全球购】进口原版图书,预计3-6周到达国内后发出
¥178.00
【预订】Collected Papers 9783319954288 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319954288 Author 作者 Alfred Tarski Format 版本 精装 Pages Number 页数 699页 Publisher 出版社 Birkhaeuser Verlag Basel Publication Date 出版日期 2019-01-03 Language 语种 英语 Book Contents 内容简介 Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski’s published papers and abstracts, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.
¥2068
预订 Collected Papers [ISBN:9783319954288] 【全球购】进口原版图书,预计3-6周左右到国内
¥1683
逻辑与演绎科学方法论导论 英文原版 Logic and to the Methodology of the Deduct
¥1342
【3-6周达】Introduction to Logic and to the Methodology of the D 【全球购】进口原版图书,预计3-6周左右到国内
¥1575
按需印刷Introduction to Logic and to the Methodology of Deductiv 预订,预计下单后2-3周左右发货!
¥101.00
海外直订Collected Papers: Volume 4: 1958-1979 论文集:第4卷:1958-1979
¥2274
【预订】Introduction to Logic: and to the Methodology of Deducti 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781774641750 Author 作者 Tarski Format 版本 平装-胶订 Pages Number 页数 258页 Publisher 出版社 Must Have Books Publication Date 出版日期 2021-02-25 Product Dimensions 商品尺寸 9.00 x 6.00 x 0.58 Shipping Weight 商品重量 0.84 Language 语种 其它(含多语)
¥161.00
海外直订Collected Papers: Volume 2: 1935-1944 论文集:第2卷:1935-1944
¥1757
预订 Collected Papers [ISBN:9783319954226] 【全球购】进口原版图书,预计3-6周左右到国内
¥1683
英文原版 Undecidable Theories 不可判定理论 逻辑学与数学基础研究 Alfred Tarski 英文
¥118.00
海外直订Collected Papers: Volume 3: 1945-1957 论文集:第3卷:1945-1957
¥1757
【预订】Einfuhrung in Die Mathematische Logik: Und in Die Method 美国库房发货,通常付款后3-5周到货!
¥630.00
【预订】Collected Papers 9783319953656 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319953656 Author 作者 Tarski Format 版本 精装 Pages Number 页数 670页 Publication Date 出版日期 2019-02-04 Language 语种 英语 Book Contents 内容简介 Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski’s papers and abstracts published during his lifetime, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.
¥2190
预订 Collected Papers [ISBN:9783319954165] 【全球购】进口原版图书,预计3-6周左右到国内
¥2178
海外直订Introduction to Logic: and to the Methodology of Deducti
¥154.00
【预售 按需印刷】Introduction to Logic and to the Methodol
¥85.85
预订 Introduction to Logic: and to the Methodology of Deductiv 【全球购】进口原版图书,一般5-8周左右到国内
¥134.00
预订Introduction to Logic and to the Methodology of Deductive 预订,预计下单后3-4周左右发货!
¥2493