【预订】Logic for Applications 9781461268550 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781461268550 Author 作者 Nerode Format 版本 平装-胶订 Pages Number 页数 456页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-09-28 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.9 cm Language 语种 英语 Book Contents 内容简介 In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re? cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major rol
¥520.00
预订 Automata Theory and Its Applications [ISBN:9781461266457] 【全球购】进口原版图书,约5-8周到达国内后发出
¥431.00
【预订】Recursion Theory 9780821814475 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780821814475 Author 作者 Anil Nerode Format 版本 精装 Pages Number 页数 528页 Publisher 出版社 American Mathematical Society (AMS) Publication Date 出版日期 1985-12-31 Language 语种 英语
¥1303
海外直订Algebraic Curves and Riemann Surfaces for Underg... 大学生代
¥648.00
明星店铺 中华商务进口图书旗舰店
【预订】Logical Foundations of Computer Science: International S 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319720555 Author 作者 Nerode, Anil Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-11-28 Language 语种 英语
¥520.00
预订 Algebraic Curves and Riemann Surfaces for Undergraduates 【全球购】进口原版图书,约5-8周到达国内后发出
¥504.00
【预订】Logic for Applications 美国库房发货,通常付款后3-5周到货!
¥1367
海外直订Logic for Applications 应用逻辑
¥588.00
明星店铺 中华商务进口图书旗舰店
预订 Logical Foundations of Computer Science [ISBN:97830303675 【全球购】进口原版图书,约5-8周到达国内后发出
¥530.00
【预订】Algebraic Curves and Riemann Surfaces for Undergraduates 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031116155 Author 作者 Nerode Anil Format 版本 平装-胶订 Pages Number 页数 418页 Publisher 出版社 Springer Publication Date 出版日期 1800-01-01 Language 语种 其它(含多语)
¥572.00
海外直订Logic for Applications 应用程序逻辑
¥1574
明星店铺 中华商务进口图书旗舰店
应用逻辑 第2版,(美)尼罗德(Nerode,A.),(美)肖尔( Shore,R.A.)著;丁德成等译,机械工业出版社
¥56.00定价:¥9000 (0.07折)
应用逻辑 第2版 (美)尼罗德(Nerode,A.),(美)肖尔( Shore,R.A.)著;丁德成等译 机械工业出版社
¥58.00定价:¥58.00