【预订】Introduction to Mathematical Logic: Set Theory Computabl 美国库房发货，通常付款后3-5周到货！

¥608.00

中国进口图书旗舰店

Malitz, Jerome /1988-08-08 /Springer

【预订】Introduction to Mathematical Logic 9781641721004 美国库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9781641721004 Format 版本 精装 Publisher 出版社 Larsen and Keller Education Publication Date 出版日期 1800-01-01 Language 语种 英语

¥1656

中国进口图书旗舰店

暂无作者信息 /Larsen and Keller Education

【预订】Introduction to Mathematical Logic 9789814343879 美国库房发货，通常付款后3-5周到货！

¥418.00

中国进口图书旗舰店

Walicki Michal /2011-12-15 /WORLD SCIENTIFIC PUBLISHING

【预订】Introduction to Mathematical Logic, V1: Princeton Mathem 美国库房发货，通常付款后3-5周到货！

¥527.00

中国进口图书旗舰店

Church, Alonzo /2013-03-01 /Literary Licensing, LLC

【预订】Introduction to Mathematical Logic 9789814343862 美国库房发货，通常付款后3-5周到货！

¥720.00

中国进口图书旗舰店

Walicki Michal /2011-12-15 /WORLD SCIENTIFIC PUBLISHING

【预订】Introduction to Mathematical Logic 9789814719957 美国库房发货，通常付款后3-5周到货！

¥864.00

中国进口图书旗舰店

Walicki, Michal /2016-08-15 /WORLD SCIENTIFIC PUBLISHING

Introduction to Mathematical Logic (PMS-13), Volume 13 97806 现货图书

Product Details 基本信息 ISBN-13 书号 9780691029061 Author 作者 Alonzo Church Format 版本 平装-胶订 Pages Number 页数 392页 Publisher 出版社 Princeton University Press Publication Date 出版日期 1996-11-17 Product Dimensions 商品尺寸 9.1 x 6.1 x 0.9 cm Shipping Weight 商品重量 1360g Language 语种 英语 Book Contents 内容简介 Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book, Int

¥697.00

中国进口图书旗舰店

Alonzo Church /1996-11-17 /Princeton University Press

【预订】Introduction to Mathematical Logic 9783540058199 美国库房发货，通常付款后3-5周到货！

¥608.00

中国进口图书旗舰店

Schweder, Brenda /1973-01-29 /暂无出版社信息

【预订】Introduction to Mathematical Logic 美国库房发货，通常付款后3-5周到货！

¥608.00

中国进口图书旗舰店

Mendelsohn, Elliot /1988-08-08 /Springer

【上海外文】预订Introduction to Mathematical Logic

¥302.00

上海外文书店旗舰店

Hodel /2013-02-01 /Dover Publications Inc.

华研原版 英文原版 An Introduction to Mathematical Logic 数理逻辑入门 英文版 进

¥329.00

华研外语旗舰店

1条评论

Richard /2019-01-01 /Dover

海外直订Introduction to Mathematical Logic 数理逻辑概论

¥559.00

中华商务进口图书旗舰店

Walicki, Michal /2011-12-14 /World Scientific Publishing Company

按需印刷Introduction to Mathematical Logic 预订，预计下单后2-3周左右发货！

¥893.00

上海外文书店旗舰店

Michal Walicki /World Scientific Publishing Co Pte Ltd

海外直订Introduction to Mathematical Logic 数学逻辑概论

¥1271

中华商务进口图书旗舰店

Mendelson, Elliott /2015-06-07 /Apple Academic Press Inc.

预订 Introduction to Mathematical Logic 数理逻辑介绍，第六版: 9781032919 国外库房发货，通常付款后3-5周到货

¥1251

中国进口图书旗舰店

Mendelson, Elliott|| /2024-10-14 /Chapman and Hall/CRC

海外直订Introduction to Mathematical Logic 数理逻辑概论

¥1340

中华商务进口图书旗舰店

Willmott, Agustin /2019-06-19 /Larsen and Keller Education

【预订】An Introduction to Mathematical Logic and Type 美国库房发货，通常付款后3-5周到货！

¥1582

中国进口图书旗舰店

Peter B. Andrews /1988-08-08 /Kluwer AcademicPublishers; 2nd ed. 2002

海外直订Introduction to Mathematical Logic (Extended Edition) 数学

¥1010

中华商务进口图书旗舰店

Walicki, Michal /2016-10-02 /World Scientific Publishing Company

预订 Introduction to Mathematical Logic: Set Theory Computable 【全球购】进口原版图书，一般5-8周左右到达国内后发出

¥569.00

书之源外文图书

Malitz, Jerome /2012-01-07 /Springer

海外直订Introduction to Mathematical Logic (Extended Edition) 数学

¥639.00

中华商务进口图书旗舰店

Walicki, Michal /2016-10-02 /World Scientific Publishing Company

预订 Introduction to Mathematical Logic and Resolution Princip 【全球购】进口原版图书，一般5-8周左右到国内

¥523.00

书之源外文图书

Wang,Guo-Jun; Zhou,Hong-Jun /2010-01-30 /Alpha Science International, Ltd

【预订】An Introduction to Mathematical Logic and Type Theory 97 国外库房发货，通常付款后3-5周到货！

Product Details 基本信息 ISBN-13 书号 9789048160792 Author 作者 Andrews Format 版本 平装-胶订 Pages Number 页数 390页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-12-09 Language 语种 英语 Book Contents 内容简介 In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com ?for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan’s Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand’s Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It

¥1094

中国进口图书旗舰店

Andrews /2010-12-09 /Springer Netherlands

海外直订Introduction to Mathematical Logic 数理逻辑概论

¥855.00

中华商务进口图书旗舰店

Walicki, Michal /2012-03-30 /World Scientific Publishing Company

【预订】An Introduction to Mathematical Logic 9780486497853 美国库房发货，通常付款后3-5周到货！

¥317.00

中国进口图书旗舰店

Hodel, Richard E.(作者) /2013-02-20 /暂无出版社信息

An Introduction to Mathematical Logic 数理逻辑入门 英文版 进口英语原版书籍 英文

¥329.00

瑞雅图书专营店

Richard /2019-01-01 /Dover

按需印刷Introduction to Mathematical Logic 预订，预计下单后2-3周左右发货！

¥529.00

上海外文书店旗舰店

Michal Walicki /World Scientific Publishing Co Pte Ltd

预订 Introduction to Mathematical Logic [ISBN:9783540058199] 【全球购】进口原版图书，一般5-8周左右到国内

¥501.00

书之源外文图书

Schmidt, Diana ; Hermes, Hans /1973-01-29 /Springer

预订 Introduction to Mathematical Logic [ISBN:9781482237726] 【全球购】进口原版图书，一般5-8周左右到国内

¥1258

书之源外文图书

Mendelson, Elliott /2015-07-24 /Chapman and Hall/CRC

预订 高被引Introduction to Mathematical Logic [ISBN:9781641721004 【全球购】进口原版图书，一般5-8周左右到国内

¥1309

书之源外文图书

2019-06-20 /Larsen and Keller Education

预订 An Introduction to Mathematical Logic and Type Theory: To 【全球购】进口原版图书，约3-6周到达国内后发出

¥1182

书之源外文图书

Andrews,Peter B. /2002-07-31 /Springer

预订 An Introduction to Mathematical Logic and Type Theory: To 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥820.00

书之源外文图书

1条评论

Andrews, Peter B. /2010-12-09 /Springer

现货 数理逻辑导论Introduction to Mathematical Logic 9780691029061 [I 进口原版，现货速发

¥587.00

书之源外文图书

Alonzo Church /1996-10-28 /普林斯顿大学出版社

海外直订An Introduction to Mathematical Logic 数学逻辑导论

¥265.00

中华商务进口图书旗舰店

Hodel, Richard E. /2013-02-19 /Dover Publications

预订 数学逻辑导论Introduction To Mathematical Logic (Extended Editio 【全球购】进口原版图书，约5-8周到达国内后发出

¥466.00

书之源外文图书

Walicki Michal /2016-08-15 /World Scientific Publishing Company

【预售 按需印刷】Introduction to Mathematical Logic

¥529.00

中图图书旗舰店

Michal Walicki /2011-12-13 /World Scientific Publishing Co Pte Ltd

海外直订An Introduction to Mathematical Logic and Type Theory: T

¥1250

中华商务进口图书旗舰店

Andrews, Peter B. /2002-07-30 /Springer

【预售 按需印刷】Introduction to Mathematical Logic

¥893.00

中图图书旗舰店

Michal Walicki /2011-12-13 /World Scientific Publishing Co Pte Ltd

预订 数学逻辑导论Introduction To Mathematical Logic (Extended Editio 【全球购】进口原版图书，约5-8周到达国内后发出

¥827.00

书之源外文图书

Walicki Michal /2016-08-15 /World Scientific Publishing Company

预订 数理逻辑入门Introduction To Mathematical Logic [ISBN:9789814343 【全球购】进口原版图书，约5-8周到达国内后发出

¥401.00

书之源外文图书

Walicki Michal /2011-12-15 /World Scientific Publishing Company

预订 数理逻辑入门Introduction To Mathematical Logic [ISBN:9789814343 【全球购】进口原版图书，约5-8周到达国内后发出

¥690.00

书之源外文图书

Walicki Michal /2011-12-15 /World Scientific Publishing Company

【预订】A Friendly Introduction to Mathematical Logic 美国库房发货，通常付款后3-5周到货！

¥430.00

中国进口图书旗舰店

1条评论

Leary, Christopher C. /2015-08-10 /Milne Library

海外直订An Introduction to Mathematical Logic and Type Theory: T

¥999.00

中华商务进口图书旗舰店

Andrews, Peter B. /2010-12-08 /Springer

海外直订A Concise Introduction to Mathematical Logic 数学逻辑概论

¥816.00

中华商务进口图书旗舰店

Rautenberg, Wolfgang /2009-12-16 /Springer

海外直订An Algebraic Introduction to Mathematical Logic 数学逻辑代数导论

¥775.00

中华商务进口图书旗舰店

Barnes, D. W. /2013-02-26 /Springer

海外直订A Friendly Introduction to Mathematical Logic 数学逻辑概论

¥396.00

中华商务进口图书旗舰店

Leary, Christopher C. /2019-01-22 /Milne Library

【预订】An Algebraic Introduction to Mathematical Logic 美国库房发货，通常付款后3-5周到货！

¥913.00

中国进口图书旗舰店

Barnes, D. W.(作者) /2013-02-26 /Springer

按需印刷A Friendly Introduction to Mathematical Logic 预订，预计下单后2-3周左右发货！

¥386.00

上海外文书店旗舰店

Christopher C. Leary /Lulu Press

预订 An Algebraic Introduction to Mathematical Logic [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内

¥976.00

书之源外文图书

Barnes, D. W. /2013-02-26 /Springer

预订 A Friendly Introduction to Mathematical Logic [ISBN:97819 【全球购】进口原版图书，一般5-8周左右到国内

¥359.00

书之源外文图书

2019-01-23 /Lulu Press

【3-6周达】A Concise Introduction to Mathematical Logic (2010) [ 【全球购】进口原版图书，预计3-6周左右到国内

¥758.00

书之源外文图书

Rautenberg, Wolfgang /2009-12-17 /Springer

海外直订Set Theory and Foundations of Mathematics: An Introducti

¥808.00

中华商务进口图书旗舰店

Cenzer, Douglas /2022-02-28 /World Scientific Publishing Company

预订 Set Theory and Foundations of Mathematics: an Introductio 国外库房发货，通常付款后3-5周到货

¥720.00

中国进口图书旗舰店

Cenzer Douglas et al /2025-01-14 /World Scientific Publishing

【预订】Mathematical Logic: An Introduction to Model Theory 9781 美国库房发货，通常付款后3-5周到货！

¥1339

中国进口图书旗舰店

Casalini /2012-12-27 /Springer

海外直订Mathematical Logic: An Introduction to Model Theory 数学逻辑

¥1128

中华商务进口图书旗舰店

2012-12-27 /Springer

预订 Mathematical Logic: An Introduction to Model Theory [ISBN 【全球购】进口原版图书，一般5-8周左右到国内后发出

¥1001

书之源外文图书

Lightstone, A. /2012-12-27 /Springer

【预订】A Course in Model Theory: An Introduction to Contemporar 美国库房发货，通常付款后3-5周到货！

¥790.00

中国进口图书旗舰店

Poizat, Bruno /1988-08-08 /Springer

预订 Introduction to Mathematical Logic 预订，预计下单后3-4周左右发货！

¥1615

上海外文书店旗舰店

Mendelson, Elliott ( /2020-01-01 /Apple Academic Press

【预订】A Concise Introduction to Mathematical Logic 美国库房发货，通常付款后3-5周到货！

¥578.00

中国进口图书旗舰店

Wolfgang Rautenberg /1988-08-08 /Springer-Verlag New YorkInc.; 2nd Revised edition

A Concise Introduction to Mathematical Logic

Product Details 基本信息 ISBN-13 书号 9781441912206 Author 作者 Wolfgang Rautenberg Format 版本 平装 Publisher 出版社 Springer Publication Date 出版日期 2009年1月1日 Product Dimensions 商品尺寸 2 x 17 x 24.4 cm Shipping Weight 商品重量 567 g Language 语种 英语

¥708.00

中国进口图书旗舰店

Wolfgang Rautenberg /1988-08-08 /Springer

按需印刷Studyguide for Introduction to Mathematical Logic by Men 预订，预计下单后2-3周左右发货！

¥392.00

上海外文书店旗舰店

Elliott Mendelson /Content Technologies, Inc.