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 可计算性和逻辑 George S. Boolos
¥383.20
【预订】Computability and Logic 9780521877527 美国库房发货，通常付款后3-5周到货！
¥1049
预订Computability and Logic 预订，预计下单后2-3周左右发货！
¥453.00
3-6周达 Computability and Logic [ISBN:9780521877527] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1016
3-6周达 Computability and Logic [ISBN:9780521701464] 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥367.00
英文原版 Computability and Logic 可计算性和逻辑 英文版 进口英语原版书籍
¥383.20
海外直订Combinatorics, Computability and Logic: Proceedings of t
¥1193
3-6周达 Combinatorics, Computability and Logic: Proceedings of 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1265
【预订】Combinatorics, Computability and Logic 9781852335267 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781852335267 Author 作者 Calude Format 版本 平装-胶订 Pages Number 页数 251页 Publisher 出版社 Springer London Publication Date 出版日期 2001-06-22 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 820g Language 语种 英语 Book Contents 内容简介 This volume contains the papers presented at the Third Combinatorics, Computability and Logic (DMTCS’01) conference, These papers cover topics such as abstract data types and specifications algorithms and data structures automata and formal languages computability among others.
¥1217
预订 Discrete Structures, Logic, and Computability 离散结构,逻辑,和可计 国外库房发货，通常付款后3-5周到货
¥3091
预订 Discrete Structures, Logic, and Computability [ISBN:97812 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1580
【预售 按需印刷】Outlines & Highlights for Discrete Structures Logic
¥357.00
预订 Outlines & Highlights for Discrete Structures Logic and C 【全球购】进口原版图书，约3-6周到达国内后发出
¥374.00
海外直订Computation and Logic in the Real World: Third Conferenc
¥1033
海外直订Proofs and Algorithms: An Introduction to Logic and Comp
¥415.00
预订 Student Study Guide for Discrete Structures, Logic, and C 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥409.00
预订 高被引Computability in Context: Computation and Logic in the 【全球购】进口原版图书，一般5-8周左右到国内
¥963.00
海外直订Computability in Context: Computation and Logic in the R
¥1546
【3-6周达】Logic and Theory of Algorithms: 4th Conference on Com 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
海外直订Logic and Theory of Algorithms: 4th Conference on Comput
¥1033
海外直订Computability: Computable Functions, Logic, and the Foun
¥591.00
【预订】A First Course in Logic: An Introduction to Model Theory 美国库房发货，通常付款后3-5周到货！
¥3114
海外直订Martin Davis on Computability, Computational Logic, and
¥1033
海外直订Martin Davis on Computability, Computational Logic, and
¥1447
3-6周达 Unity of Logic and Computation: 19th Conference on Com 【全球购】进口原版图书，预计3-6周左右到国内
¥602.00
【预订】Computability: Computable Functions Logic and the Founda 美国库房发货，通常付款后3-5周到货！
¥806.00
【3-6周达】Martin Davis on Computability, Computational Logic, a 【全球购】进口原版图书，预计3-6周左右到国内
¥995.00
【预订】Martin Davis on Computability, Computational Logic, and 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319418414 Author 作者 Omodeo, Eugenio G. Format 版本 精装 Pages Number 页数 440页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2016-12-15 Language 语种 英语 Book Contents 内容简介 This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis’ work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert’s tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions.
¥1703
预订Martin Davis on Computability, Computational Logic, and Ma 预订，预计下单后2-3周左右发货！
¥2137
【预订】Computability: Computable Functions, Logic, and the 美国库房发货，通常付款后3-5周到货！
¥549.00
【预订】Martin Davis on Computability, Computational Logic, and 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319824437 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-05-03 Language 语种 英语
¥1217
按需印刷Computability:Computable Functions, Logic, and the Found 预订，预计下单后3-4周左右发货！
¥500.34
预订 Computability: Computable Functions, Logic, and the Found 【全球购】进口原版图书，约3-6周到达国内后发出
¥474.00
Computability and Logic（ISBN=9780521007580）
¥142.50
预订Computability and Logic 预订，预计下单后2-3周左右发货！
¥1340
按需印刷Studyguide for Discrete Structures Logic and Computabili 预订，预计下单后2-3周左右发货！
¥420.00
