¥29.10定价：¥39.00 (7.47折)
数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）
¥43.50定价：¥58.00 (7.5折)
¥99.00定价：¥198.00 (5折)
数理逻辑 第2版 【正版】 【店主推荐，正版书放心购买，可开发票】
Whatisamathematicalproof?Howcanproofsbejustified?Aretherelimitationstoprovability?Towhatextentcanmachinescarryoutmathematicalproofs?Onlyinthiscenturyhastherebeensuccessinobtainingsubstantialandsatisfactoryanswers.Thepresentbookcontainsasystematicdiscussionoftheseresults.Theinvestigationsarecenteredaroundfirst-orderlogic.OurfirstgoalisGodelscompletenesstheorem，whichshowsthattheconsequencerelationcoincideswithformalprovability Bymeansofacalculusconsistingofsimpleformalinferencerules，onecanobtainallconsequencesofagivenaxiomsystem(andinparticular，imitateallmathematicalproofs)
¥99.92定价：¥329.76 (3.04折)
¥58.90定价：¥79.00 (7.46折)
数理逻辑导引 冯琦 科学出版社 【新华书店正版图书书籍】 正版全新书籍 正规发票 多仓就近发货 关注店铺可享店铺优惠
¥99.00定价：¥198.00 (5折)
数理逻辑 第2版 【正版】 【店主推荐，正版书放心购买，可开发票】
Whatisamathematicalproof?Howcanproofsbejustified?Aretherelimitationstoprovability?Towhatextentcanmachinescarryoutmathematicalproofs?Onlyinthiscenturyhastherebeensuccessinobtainingsubstantialandsatisfactoryanswers.Thepresentbookcontainsasystematicdiscussionoftheseresults.Theinvestigationsarecenteredaroundfirst-orderlogic.OurfirstgoalisGodelscompletenesstheorem，whichshowsthattheconsequencerelationcoincideswithformalprovability Bymeansofacalculusconsistingofsimpleformalinferencerules，onecanobtainallconsequencesofagivenaxiomsystem(andinparticular，imitateallmathematicalproofs)
¥100.42定价：¥331.26 (3.04折)
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
《清华大学计算机系列教材 数理逻辑与集合论（第2版）》介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。
¥18.52定价：¥85.56 (2.17折)
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
《清华大学计算机系列教材 数理逻辑与集合论（第2版）》介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。
¥19.36定价：¥88.08 (2.2折)
数理逻辑导引 冯琦 编 现代数学基础丛书 科学出版社 【本店支持开发票 如需帮助请联系客服】
¥190.90定价：¥198.00 (9.65折)
¥44.10定价：¥98.00 (4.5折)
¥41.80定价：¥88.00 (4.75折)
万千教育·数理逻辑是什么 算法？图灵机？人工智能？一系列问题都可以在数理逻辑中找到原点。
数理逻辑领域长销40余年的经典普及之作 以简洁又有趣的方式介绍 难懂 的数理逻辑 以专业而严谨的视角讲述数理逻辑典型思想 为学习逻辑、数学、计算机科学等奠定基础
¥14.00定价：¥32.00 (4.38折)
万千教育·数理逻辑入门 世界闻名的哥德尔不完全性定理研究学者、趣味逻辑谜题专家写就的数理逻辑普及之作。
数理逻辑入门教材：作者是世界领衔的哥德尔不完全性定理研究专家，师承著名逻辑学家、数学家、理论计算机科学奠基人阿朗佐 丘奇（Alonzo Church，1903 1995）。 数理逻辑普及之选：作者也是一位趣味谜题专家、魔术师、钢琴演奏家，著有多部谜题书， 擅长以讲故事的方式介绍深奥的数理逻辑。 作者学生作序推荐：作者学生、逻辑学家、计算机科学家、2012 年 国际自动推理厄尔布朗杰出成就奖 获得者梅尔文 菲廷（Melvin Fitting，1942 ）特别为中文版作序推荐。
¥34.00定价：¥68.00 (5折)
数理逻辑十二讲 编者:宋方敏//吴骏 机械工业 【新华书店全新正版图书】 新华书店，电子发票，多仓就近发货
¥18.20定价：¥39.00 (4.67折)
数理逻辑十二讲 宋方敏,吴骏 编著 机械工业出版社 【新华书店正版图书】 正版全新书籍 正规发票 多仓就近发货 关注店铺可享店铺优惠！
¥18.20定价：¥39.00 (4.67折)
数理逻辑初学者指南 英文原版 A Beginner's Guide to Mathematical Logic 英文版
¥158.00
数理逻辑十二讲 宋方敏,吴骏 编著 机械工业出版社 【新华书店全新正版图书】
¥17.50定价：¥39.00 (4.49折)
数理逻辑是什么 （英）约翰·N.克罗斯利 等著；夏素敏，闫佳亮 译 中国轻工业出版社 【新华书店正版书籍】 正版全新书籍 正规发票 多仓就近发货 关注店铺可享店铺优惠
¥16.00定价：¥32.00 (5折)
数理逻辑的思想与方法李娜[著]南开大学出版社9787310023738
¥6.70定价：¥20.00 (3.35折)
麦格劳希尔给孩子的经济学思维课 数理逻辑 批判性思维 系统性思考问题和解决问题的能力 麦格劳希尔权威出品，从生活中的问题出发，通过讲解200多个经济学概念
★超强背书，超本土化： 麦格劳希尔联手美国知名经济学家精心打造，参照美国经济学教学大纲编写，国内专家编译，更适合中国孩子！ ★超系统的儿童版 经济学百科全书 ： 系统性解读200多个经济学概念，内容编排以小见大，注重思维培养，让孩子学会用经济学家的方式思考问题。 ★超强配套附赠： 知识巩固手册 思维技能手册 经济学思维音频课，多维强化经济学素养，给孩子提供最系统的学习方案。
¥74.00定价：¥148.00 (5折)
【中商原版】幼儿数理逻辑训练套装5-6岁增强篇一套4册 港台原版儿童绘本 教材教辅
¥163.00
【中商原版】幼儿数理逻辑训练套装4到5岁促进篇一套4册 港台原版儿童精装绘本 4到6岁 新雅文化出版
¥163.00
以数理逻辑游戏培养3~10岁儿童的编程与逻辑思维能力
¥29.50定价：¥59.00 (5折)
现货 数理逻辑导论Introduction to Mathematical Logic 9780691029061 [I 进口原版，现货速发
¥587.00
¥26.60定价：¥39.00 (6.83折)
¥108.10定价：¥128.00 (8.45折)
¥29.50定价：¥62.00 (4.76折)
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分 第部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习的指导，包括主教材中的基本概念、基本公式、定义、定理以完成习题所涉及的内容，相当于主教材内容的精华与复习的提纲。第2部分是主教材相应章节的习题解答，附有主教材全部习题的参考解答或证明。部分习题除给出详细解答或证明过程外，还列出解题思路、提示，容易出现的错误和多种解法等。书中注重学习的方法与逻辑思维能力的培养和训练，并照顾到不同需求和不同层次的读者。本书读者对象为大专院校计算机系或相关专业的师生，也可供从事离散数学、计算机科学、人工智能、计算语言学等领域的自学者和科技人员参考。
¥12.74定价：¥68.22 (1.87折)
¥70.70定价：¥98.00 (7.22折)
¥77.50定价：¥98.00 (7.91折)
数理逻辑 第2版 汪芳庭 主编 普通高等学校“十一五”规划教材 中科大出版社官方直营【馨悦图书 正版】 正版可开发票 请联系在线当当客服
¥35.80定价：¥35.80
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分 第部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习的指导，包括主教材中的基本概念、基本公式、定义、定理以完成习题所涉及的内容，相当于主教材内容的精华与复习的提纲。第2部分是主教材相应章节的习题解答，附有主教材全部习题的参考解答或证明。部分习题除给出详细解答或证明过程外，还列出解题思路、提示，容易出现的错误和多种解法等。书中注重学习的方法与逻辑思维能力的培养和训练，并照顾到不同需求和不同层次的读者。本书读者对象为大专院校计算机系或相关专业的师生，也可供从事离散数学、计算机科学、人工智能、计算语言学等领域的自学者和科技人员参考。
¥22.49定价：¥97.47 (2.31折)
¥13.50定价：¥19.80 (6.82折)
数理逻辑 A.G.Hamilt 【店主推荐，正版书放心购买，可开发票】
“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是很重要的。经，我们选了大学出版社的，由A.G.Hamilton著“LogicforMathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念 第二章讲解命题逻辑的形式化系统 第三章直观地讲解了谓词逻辑 第四章讲解谓词逻辑的形式化系统 第五章介绍数学系统 第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识 第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于978年出版，然后，于988年出了。自从出版
¥90.22定价：¥300.66 (3.01折)
数理逻辑：证明及其限度(第二版)（逻辑与形而上学教科书系列）
¥33.90定价：¥49.00 (6.92折)
数理逻辑基础教程 清华大学出版社正版 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥56.00定价：¥79.00 (7.09折)
明星店铺 文轩网旗舰店
数理逻辑引论 (高等学校理工科数学类规划教材) 肖奚安 朱梧槚 【正版】 【店主推荐，正版书放心购买，可开发票】
本书版于99年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。
¥18.24定价：¥84.72 (2.16折)
《数理逻辑（第2版）》内容分两部分 部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《数理逻辑（第2版）》对Godel不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。《数理逻辑（第2版）》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。
¥21.28定价：¥93.84 (2.27折)
数理逻辑与集合论2二版精要与题解+数理逻辑与集合论 二2版 教材教程配套习题集 石纯一 清华大学出版社计算机应用教材书
¥84.54定价：¥118.84 (7.12折)
¥13.70定价：¥19.80 (6.92折)
数理逻辑【正版书籍，满额满减，咨询更优惠】 正版旧书，保证质量，此书为单本而非一套，电子发票！
¥189.80定价：¥487.50 (3.9折)
数理逻辑与集合论(第2版)精要与题解 清华大学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥21.20定价：¥29.00 (7.32折)
《数理逻辑》是国内介绍数理逻辑基本知识的新读本。著者针对文科学生学习的数理逻辑所遇到的困难，尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算部分内容 对其中的自然推理系统做了详细介绍，对公理推理系统仅做一般性介绍 力求以较为通俗的语言来阐述数理逻辑的基本原理和符号表达公式，并编配了练习的题，具有较强的针对性和可读性。
¥44.20定价：¥162.60 (2.72折)
数理逻辑 （英文版 第2版） 【正版】 【店主推荐，正版书放心购买，可开发票】
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是 内容可读性强 组织结构更灵活，授课教师可根据教学需要节选本书的内容 反映了近几年来理论计算机科学对逻辑学产生的影响 包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
¥176.80定价：¥560.40 (3.16折)
数理逻辑与集合论 【正版】 【店主推荐，正版书放心购买，可开发票】
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分 第部分是主教材《数理逻辑与集合论》（第2版）各章的内容精要与学习的指导，包括主教材中的基本概念、基本公式、定义、定理以完成习题所涉及的内容，相当于主教材内容的精华与复习的提纲。第2部分是主教材相应章节的习题解答，附有主教材全部习题的参考解答或证明。部分习题除给出详细解答或证明过程外，还列出解题思路、提示，容易出现的错误和多种解法等。书中注重学习的方法与逻辑思维能力的培养和训练，并照顾到不同需求和不同层次的读者。本书读者对象为大专院校计算机系或相关专业的师生，也可供从事离散数学、计算机科学、人工智能、计算语言学等领域的自学者和科技人员参考。
¥13.64定价：¥70.92 (1.93折)
*本套书首次出版于二十世纪六七十年代，已畅销半个多世纪；作者乌尔夫勒夫格伦是瑞典受欢迎的儿童文学作家和画家之一。 *七项基础认知、七个奇妙的故事，让孩子轻松地学到数字、颜色、乐器、蔬菜水果、月份、交通工具、职业等实用知识，促进孩子在音乐智能、数理逻辑智能、空间智能、自然智能等多元能力的发展。 *丰富的场景互动让孩子在趣味问答中锻炼观察力，激发想象力和创造力，培养沟通、协作、财商启蒙等多种能力。 *相比一般认知图画书，本套书文字量更大，场景更丰富。这样的设置能够引导孩子在简单的认知之外能够学习词汇概念，提升语言表达力。 *南京师范大学图画书研究中心、幼儿阅读专家孙莉莉导读推荐 *配套益智游戏手册，内含18个趣味游戏，寓教于乐，培养孩子的逻辑思维力
¥41.80定价：¥188.00 (2.23折)
数理逻辑 证明及其限度 【正版】 【店主推荐，正版书放心购买，可开发票】
《数理逻辑 证明及其限度》是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。《数理逻辑 证明及其限度》尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材，本书更强调逻辑与元数学的联系，更多地介绍语义部分，强调语法语义的统一。书中，除了对各个知识点本身的讲解，还介绍了它们的直观和思想背景。本书适合作为数理逻辑系列课程的导论，并为后继课程做准备。为此，在一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习的更深、更专门、更有意思的内容。书中所含习题能使读者通过练习的得到必要的训练，并
¥51.57定价：¥184.71 (2.8折)
¥77.43定价：¥77.43
¥71.15定价：¥71.15
数理逻辑与集合论 2版 石纯一 等 清华大学计算机系列教材计算机科学教学基础 计算机教材 大学离散数学教科书 计算机应用 正版图书 可开发票
¥46.05定价：¥46.05
数理逻辑与集合论 第2版 计算机科学教学基础 大学离散数学教科书 计算机应用教程 清华大学计算机系列教材书籍 正版图书 可开发票
¥46.70定价：¥46.70
¥43.21定价：¥58.00 (7.45折)
¥53.40定价：¥58.00 (9.21折)
数理逻辑和算法理论 计算机科学与人工智能的数学基础 袁相碗 人工智能应用丛书 数理逻辑 9787113298722 中国 【本店支持开发票 如需帮助请联系客服】
¥50.34定价：¥50.34
数理逻辑与集合论 2版 石纯一 等 清华大学计算机系列教材计算机科学教学基础 计算机教材 大学离散数学教科书 计算机应用 正版图书 可开发票
¥45.45定价：¥45.45
¥71.18定价：¥71.18
¥71.45定价：¥71.45
数理逻辑十二讲 宋方敏,吴骏编著 文教大学本科大中专普通高等学校教材专用 综合教育课程专业书籍 考研预备
¥47.67定价：¥53.39 (8.93折)
¥78.33定价：¥78.33
