【预订】Introduction to Logic and to the Methodology of the Dedu
预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥5458.13
预订 Collected Papers 9783319954288
海外仓库发货,通常付款后4-9周到货!
/ 2019-01-03
图书信息 书号: 9783319954288 作者: Alfred Tarski 装帧: 精装 页数: 699页 出版社: Springer International Publishing 尺寸: 25.4 x 17.8 x 5.1 cm 出版日期: 2019-01-03 重量: 1362g 语种: 其它(含多语) 内容简介 Alfred Tarski was one of the two giants of the twentieth
¥1785
【预订】Introduction to Logic: and to the Methodology of Deducti
国外库房发货,通常付款后3-5周到货!
2021-02-25
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 语种 其它(含多语)
¥124.00
预订 Collected Papers 9783319954226
海外仓库发货,通常付款后4-9周到货!
/ 2018-12-07
图书信息 书号: 9783319954226 作者: Alfred Tarski 装帧: 精装 页数: 682页 出版社: Springer International Publishing 尺寸: 25.4 x 17.8 x 5.1 cm 出版日期: 2018-12-07 重量: 1362g 语种: 其它(含多语) 内容简介 Alfred Tarski was one of the two giants of the twentieth
¥1784
【预订】Collected Papers 9783319953656
美国库房发货,通常付款后3-5周到货!
/ 2019-02-04
/ 暂无出版社信息
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.
¥1729
【预订】Collected Papers 9783319954226
美国库房发货,通常付款后3-5周到货!
/ 2019-02-04
/ 暂无出版社信息
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.
¥1729
【预订】Collected Papers 9783319954288
美国库房发货,通常付款后3-5周到货!
/ 2019-01-03
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.
¥1729
【预订】A Formalization of Set Theory without Variables 97808218
美国库房发货,通常付款后3-5周到货!
/ 1987-12-31
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
¥880.00
【预订】Collected Papers 9783319954165
美国库房发货,通常付款后3-5周到货!
/ 2019-02-04
/ 暂无出版社信息
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.
¥2288