可计算性与数理逻辑 布勒斯(George S. Boolos)【速开发票,优质售后,支持7天无理由退换】 【正版】
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。
¥180.00定价:¥440.00 (4.1折)
可计算性与数理逻辑布勒斯(George S. Boolos)电子工业出版社9787505388284 正版旧书,保证质量,此书为单本而非一套,电子发票!
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。
¥138.90定价:¥373.60 (3.72折)
可计算性与数理逻辑 布勒斯(George S. Boolos) 9787505388284 电子工业出版社 【速开发票,优质售后,支持7天无理由退换】
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。
¥113.60定价:¥315.20 (3.61折)
可计算性与数理逻辑 布勒斯(George S. Boolos) 电子工业出版社【正版书籍】 【速开发票,优质售后,支持7天无理由退换】
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。
¥133.19定价:¥354.38 (3.76折)
可计算性与数理逻辑 (美)George S. Boolos,John P.Bur 电子工业出版社【正版书籍】 正版图书,下单前请先咨询客服,欢迎选购!
¥151.72定价:¥313.44 (4.85折)
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。
¥161.00定价:¥323.00 (4.99折)
¥143.20定价:¥287.40 (4.99折)
Product Details 基本信息 ISBN-13 书号 9780521701464 Author 作者 George S. Boolos Format 版本 平装-胶订 Pages Number 页数 366页 Publication Date 出版日期 2007-11-01 Product Dimensions 商品尺寸 25.3 x 18 x 1.9 cm Shipping Weight 商品重量 0.7 kg Language 语种 其它(含多语) Book Contents 内容简介 Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. This fifth edition was first published in 2007.
¥352.00
【预订】The Unprovability of Consistency 9780521092975 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780521092975 Author 作者 George Boolos Format 版本 平装-胶订 Pages Number 页数 196页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2009-01-01 Shipping Weight 商品重量 260g Language 语种 英语 Book Contents 内容简介 The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency.
¥613.00
预订 Meaning and Method: Essays in Honor of Hilary Putnam [ISB 【全球购】进口原版图书,约3-6周到达国内后发出
¥533.00
预订Computability and Logic 预订,预计下单后2-3周左右发货!
¥453.00
3-6周达 Computability and Logic [ISBN:9780521877527] 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥1016
可计算性与数理逻辑【放心购买】 【正品保证,进入店铺更多优惠!】
¥155.29定价:¥598.58 (2.6折)
¥157.00定价:¥315.00 (4.99折)
【预订】Computability and Logic 9780521877527 美国库房发货,通常付款后3-5周到货!
¥1049
现货 Logic, Logic, and Logic 9780674537675
Product Details 基本信息 ISBN-13 书号 9780674537675 Author 作者 Boolos Format 版本 平装-胶订 Pages Number 页数 443页 Publisher 出版社 Harvard University Press Publication Date 出版日期 1999-10-15 Language 语种 其它(含多语) Book Contents 内容简介 George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the G del theorems.
¥1031
¥159.00定价:¥319.00 (4.99折)
预订 The Logic of Provability (Revised) [ISBN:9780521483254] 【全球购】进口原版图书,约3-6周到达国内后发出
¥381.00
¥143.20定价:¥287.40 (4.99折)
预订 The Logic of Provability 预订商品
¥418.00
预订 Logic, Logic, and Logic [ISBN:9780674537675] 【全球购】进口原版图书,约3-6周到达国内后发出
¥670.00
¥144.70定价:¥290.40 (4.99折)
¥143.20定价:¥287.40 (4.99折)
3-6周达 Computability and Logic [ISBN:9780521701464] 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥367.00
可计算性与数理逻辑【可开电子发票】 线上线下同步销售,请咨询客服查询库存后下单,避免纠纷。
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。
¥132.00定价:¥274.00 (4.82折)
预订 The Unprovability of Consistency: An Essay in Modal Logic 【全球购】进口原版图书,约3-6周到达国内后发出
¥604.00
可计算性与数理逻辑:英文版 (美)布勒斯(Boolos,G.S.)等著 电子工业出版社
¥148.00定价:¥148.00
¥160.00定价:¥370.00 (4.33折)
可计算性与数理逻辑:英文版,(美)布勒斯(Boolos,G.S.)等著,电子工业出版社,9787505388284
¥146.52定价:¥7600 (0.2折)
可计算性与数理逻辑 [美]George S. Boolos,John P.Burgess 等著 电子工业出版社【正版】 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥68.00定价:¥223.37 (3.05折)
可计算性与数理逻辑 [美]George S. Boolos,John P.Burgess 等著 电子工业出版社【正版可开 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥68.00定价:¥215.37 (3.16折)
可计算性与数理逻辑 布勒斯(George S. Boolos) 9787505388284 电子工业出版社 【速开发票,优质售后,支持7天无理由退换】
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如哥德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。
¥103.00定价:¥206.00 (5折)
Computability and Logic(ISBN=9780521007580)
¥142.50
预订Computability and Logic 预订,预计下单后2-3周左右发货!
¥1340
¥143.20定价:¥287.40 (4.99折)
预订The Logic of Provability 预订,预计下单后3-4周左右发货!
¥438.00
预订The Unprovability of Consistency:An Essay in Modal Logic 预订,预计下单后3-6周左右发货!
¥742.00
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥30.40定价:¥38.00 (8折)