可计算性与数理逻辑 (美)George S. Boolos,John P.Bur 电子工业出版社【正版】 正版图书,下单前请先咨询客服,欢迎选购!
¥150.72定价:¥313.44 (4.81折)
预订The Logic of Provability 预订,预计下单后3-4周左右发货!
¥480.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.
¥538.00
预订 The Logic of Provability 预订商品
¥367.00
预订 Computability and Logic [ISBN:9780521877527] 【全球购】进口原版图书,约5-8周到达国内后发出
¥954.00
【预订】Computability and Logic 9780521877527 美国库房发货,通常付款后3-5周到货!
¥971.00
Computability and Logic 9780521701464
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
【预订】Computability and Logic 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥540.18
预订Computability and Logic 预订,预计下单后2-3周左右发货!
¥498.00
预订Computability and Logic 预订,预计下单后2-3周左右发货!
¥1481
【预订】Computability and Logic 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥1607.21
【预订】Logic, Logic, and Logic 9780674537675 国外库房发货,通常付款后3-5周到货!
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.
¥480.00
预订 Computability and Logic [ISBN:9780521701464] 【全球购】进口原版图书,约5-8周到达国内后发出
¥360.00
海外直订Computability and Logic 数理逻辑附练习题
¥1062
明星店铺 中华商务进口图书旗舰店
【预订】The Logic of Provability 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥540.18
预订The Unprovability of Consistency:An Essay in Modal Logic 预订,预计下单后3-6周左右发货!
¥816.00
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥155.09定价:¥311.20 (4.99折)
可计算性与数理逻辑【放心购买】 [正版书籍,达额减,现货速发,可开电子发票]
¥135.40定价:¥314.00 (4.32折)
可计算性与数理逻辑:英文版,(美)布勒斯(Boolos,G.S.)等著,电子工业出版社
¥145.00定价:¥7600 (0.2折)
可计算性与数理逻辑【正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥210.50定价:¥542.30 (3.89折)
可计算性与数理逻辑:英文版 (美)布勒斯(Boolos,G.S.)等著 电子工业出版社
¥148.00定价:¥148.00
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥144.61定价:¥290.22 (4.99折)
可计算性与数理逻辑【正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
¥210.70定价:¥552.50 (3.82折)
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥143.20定价:¥287.40 (4.99折)
可计算性与数理逻辑:英文版,(美)布勒斯(Boolos,G.S.)等著,电子工业出版社,9787505388284
¥146.52定价:¥7600 (0.2折)
可计算性与数理逻辑【正版图书,满额减】 【速开发票,优质售后,支持7天无理由退换】
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥210.70定价:¥542.70 (3.89折)
¥252.99定价:¥507.00 (4.99折)
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥174.00定价:¥366.00 (4.76折)
可计算性与数理逻辑 [美]George S. Boolos,John P.Burgess 等著 电子工业出版社,【正版可 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥104.00定价:¥215.37 (4.83折)
可计算性与数理逻辑 [美]George S. Boolos,John P.Burgess 等著 电子工业出版社,【正版保 全国三仓发货,物流便捷,下单秒杀,欢迎选购!
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥104.00定价:¥215.37 (4.83折)
可计算性与数理逻辑 [美]George S. Boolos,John P.Burgess 等著【旧书】 全国三仓发货,物流便捷,正版书放心购买!
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥102.10定价:¥306.30 (3.34折)
可计算性与数理逻辑 (美)George S. Boolos,John P.Bur 电子工业出版社【正版】 正版图书,下单前请先咨询客服,欢迎选购!
¥146.57定价:¥481.34 (3.05折)
可计算性与数理逻辑 (美)George S. Boolos,John P.Bur 电子工业出版社【正版书】 正版图书,下单前请先咨询客服,欢迎选购!
¥146.57定价:¥381.34 (3.85折)
Computability and Logic(ISBN=9780521007580)
¥142.50
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者,此书也是大有裨益的。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。
¥30.40定价:¥38.00 (8折)