This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.

Unsurpassed for its clarity and comprehensiveness, A CONCISE INTRODUCTION TO LOGIC has established itself as the standard for introductory logic texts. In this Tenth Edition, Hurley continues to build upon the tradition of lucid, focused, and accessible presentations of logic's basic topics - both formal and informal. This edition also augments the book's successful technology integration with an updated and enhanced version of CengageNOW, which now includes Learning Logic tutorials, video clips, and the complete text in eBook format. In response to market feedback and the success of Wadsworth's Logical Choice custom program, this text has been reformatted to provide additional flexibility to customize your course material content. Wadsworth is a part of Cengage Learning. Finally, innovative new tools including a PowerLecture presentation tool and a Community Website are designed to help you manage, create, and teach your course more efficiently and effectively.

自动机理论、语言和计算导论（原书第3版），ISBN：9787111240358，作者：（美）霍普克罗夫特（Hopcroft，J.E） 等著；孙家骕 等译

《推理论辩谜题精选:逻辑思维训练》题目简明，内容凝练。本系列图书包括：《100个速算谜题》，《100个算术奇题难题》，《推理论辩谜题》，《陷阱谜题精选》，《史上最强推理谜题》，《数学论辩谜题精选》，《数学谜题的20种解法》，《提高判断力的推理谜题》。

《错误逻辑》共分5章，介绍了数理逻辑的现状、错误逻辑的基础理论“错误集理论”、错误逻辑的基本概念、基本连接词、真值表、逻辑范式及其有效的推理方法以及数理错误谓词逻辑的概念、参数等。

《我思故我笑:哲学的幽默一面》自1985年出版英文版以来，已被翻译成西班牙文、法文、荷兰文、德文、意大利文、土耳其文、日文等文字出版。

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, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton's lectures to third and fourth year undergraduate mathematicians at the University of Stirling it has been written to introduce student or professional mathematicians, whose background need cover no more than a typical first year undergraduate mathematics course, to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, an attempt has been made to place it in the context of mathematics and to emphasise the relevance of logic to the mathematician. Starting at an elementart level, the text progresses from informal discussion to the precise description and use of formal mathematical and logical systems. The early chapters cover propositional and predicate calculus. The later chapters deal with Godel's theorem on the incompleteness of arithmetic and with various undecidability and unsolvability results, including a discussion of Turing machines and abstract computability. Each section ends with exercises designed to clarify and consolidate the material in that section. Hints or solutions to many of these are provided at the end of the book. The revision of this very successful textbook includes new sections on Skolemisation and applying well-formed formulas to logic programming. Some corrections have been made and extra exercises added.

《训练逻辑思维的100道趣题》是一本既有刺激性又有娱乐性的迷人趣题的结集。本书仅涉及逻辑趣题。其中的趣题都经过仔细筛选或精心设计（有许多是由作者或插图画家原创），使得其中没有一道会难得让那些并非数学家的普通读者解决不了，但同时也没有一道会太容易。这些题目叙述简明清晰，书后有准确的答案。不管你是否解决了它们，在解题过程中都会有很多的乐趣。

如果你喜欢这类游戏——数独、过河游戏、推箱子、迷宫……那么，一起加入解题者的行列吗。聪明的人集合了！！最让人疯魔的思维游戏！全世界聪明人公认的顶尖智力谜题，直到今天，人们还在妄图解开，说谎者悖论，四色难题，柯尼斯堡七桥问题，克里特岛的迷宫，阿尔昆河道问题，洛书幻方……它们是一切智力题的基础，唯有解开它们，你才能真正进入聪明人的行列。挑战赛现在开始！ 　　为什么稍稍转动小圈，十三个中国武士就神秘的变成了十二个？谁若是完成了汉诺塔游戏，世界将在一声霹雳中毁灭——这个印度古老的传说为何是真实的？莫比乌斯环、魔鬼图形到底是什么？中国的洛书幻方为何与占星术密切相关？ 　　来自古希腊、古埃及、古印度的神喻，至今仍是让全世界聪明人束手无策的智力谜题。传说中——这些谜一旦解开，不是解谜者遭天谴，便是灾难降临人间…… 　　这是人类历史上的十大不解之谜——说谎者悖论，四色难题，柯尼斯堡七桥问题，克里特岛的迷宫，阿尔昆河道问题……经历数千年的脑力激荡，成为风靡全球的智力经典。这些谜题的背后，蕴含着丰富的历史、文化、神话和考古的知识，几千年来，吸引着一代又一代的智者去解开。在解谜者的行列中，你可以看到许多伟大的名字。这十道题被智者公推为最迷人，也是最有价值的智力题，进而风靡全球。它们是一切智力题的基础，唯有解开它们，你才能真正进入聪明人的行列。挑战赛现在开始！

《数独(套装全2册)》是以益智游戏为主要内容的图书。不少学者们也在讨论这种游戏对智力开发的作用，正如盛大网络总裁陈天桥推荐语所言：在这看似简单的小小一方九宫格上，用自己所有的想像力、逻辑推理和创新思维，去感悟游走在成功与失败一线间的体会，"数独"为我们提供了难得的体验机会！此书在英国亚马逊网站图书销量总排行榜上一度达到第3名(仅次于《哈里波特6》儿童版和成人版)。本书版权已售全球25个国家，可谓世界同步做"数独"。

面对证明题，你是否一脸茫然、不知所措呢？是不是迫切需要一个人来教你写证明呢？本书将带给你惊喜，教你一步一步地构造证明的框架。阅读本书不需要太多的知识背景，只需要你具有高中数学基础。为了让你熟悉数学语言，作者从构建证明的基础——逻辑和集合论的基本概念讲起。丰富的示例，大量的习题，足以让你在它的指导下掌握证明的“游戏规则”。新版添加了200多个练习题，并且附录中给出部分练习的答案或提示。其中一些习题可以用计算机软件Proof Designer来解答，作者还在附录中介绍了Proof Designer软件。 本书深受好评，众多读者受益于本书，学会了如何证明数学题。无论你来自什么背景，是从事计算机科学还是哲学、语言学，只要你对逻辑和证明感兴趣，就应该仔细研读这本书。研究数学的师生更是不可错过本书。

悖论一词是“Paradox”的意译，也可叫“逆论”，或“反论”，包括逻辑学、概率论、数论、几何学、统计学和时间等六个方面的数学悖论。“悖论”这个词的意义比较丰富，它包括一切与人 的直觉和日常经验相矛盾的数学结论，那些结论会使我们惊异无比。悖论有三种主要形式。 1．一种论断看起来好像肯定是对的，但实际上却错了（似是而非型，也叫假语悖论）。 2．一种论断看起来好像肯定错了，但实际上却是对的（真言悖论或佯谬）。 3．一系列推理看起来好像无懈可击，可是却导致逻辑上自相矛盾（二难推理或叫二律相反）。

本书通过一些生动活泼、风趣幽默的生活故事或游戏，把看似枯燥或高深的数学问题阐述得简单明了、通俗易懂。引导读者打破解题常规，学会变换角度思考，产生特殊洞察力，出现“阿哈反应”。

《数学、科学和认识论》收集了拉卡托斯关于数学哲学等方面的一些论文。他认为反驳在数学中起决定性的作用，猜想的提出不能保证没有反例出现，数学发展的过程则是一个以更深刻、更全面、更复杂的猜想代替原有较朴素的猜想的过程。他认为数学没有必然性的基础，数学公理的真理性难以保证，因而必须把数学看成是“准经验的”。

《萨姆·劳埃德的数学趣题》原文是美国著名的数学普及大师马丁·加德纳从萨姆·劳埃德《趣题大全》一书中选出一部分数学趣题而编成的集子。题中多处使用英美制的计量单位和货币单位，其中有些单位现在即使在英美国家也很罕用，书中还大量涉及西方的历史、人物、地名、风俗、典故等，这些对于我国读者特别是青少年读者来说也许是不熟悉的，因此，译者加了一些注释。原书中的插图，有少数涉及中国人的，还是晚清时期的装束。但为保持历史原貌，一般不作改动。如果说其中有什么嘲笑中国人的含意的话，那么这也可作为落后的旧中国受人蔑视的明证。另有少数插图，其中的文字或字母显得潦草，还有一些并不影响阅读的差错。基于同样原因，也没有作改动。

集合论是数学的一个基本分支，在数学中占据着独特的地位，其基本概念已渗透到数学的所有领域。本书从集合论中最基本的概念开始，循序渐进，深入浅出。主要内容有：公理及运算、关系与函数、自然数、实数的构造、基数与选择公理、秩序与序数、序数与序型等。本书附有大约300道习题。　　本书可作为数学、计算机及其他相关专业本科生教材。

如何移动富士山？ 全美国有多少加油站？ 全世界有多少钢琴调音师？ …… 经由此类试题选拔出来的人才，成就了微软霸业，也创造出硅谷奇迹。 如今，使用此类测试的企业已经不限于高科技领域，从广告圈到金融业，很多应聘者必须解答这类“刁钻”的考题，才能证明自己是真正的人才。 本书坡露了微软和其他大公司面试中所使用的难题，同时提供了详细的答案。书中分别针对求职者和招聘者给出的应对难题面试的实用建议，让难题面试不再那么深不可测！ 渴望求得好职位的人一定要读读本书，它将助你掌握解答面试难题的诀窍，找到一份一生倾心的工作。渴望贤才的公司经理也要读读本书，从中可以获取组织有效难题面试的策略。想要通过解答这些难题，与商业世界中最聪明的头脑一比高下的人，通过阅读本书，也会找到无穷乐趣！

迈克尔·博兰尼与哈耶克、波普尔同为“朝圣山学会”的重要代表人物，二战以来捍卫自由的有力斗士；然中国学界对哈耶克、波普尔介绍甚多，对博兰尼却少有提及。《自由的逻辑》是博兰尼的重要代表作，初版于1951年，正与哈耶克的《通往奴役之路》、波普尔的《开放社会及其敌人》具有相同的写作背影及目的，亦与这两部捍卫自由的名著有异曲同工之力。 这本书中收入了作者二战前后的数篇论文，雄辩地阐述了他一如既往倡导的主题，即科学发展与经济进步应以自由的实现为基本前提，而阉割自由的计划化体制则有可能牺牲科学及经济发展。因此，书中表达了他力倡自由体制的信念。

本书通过对论辩的分析与评价以及为书面或口头的话语形式表达论证提供了工具，从而系统地介绍批判性思维。本书试图为有兴趣学习论辩性讨论的学生提供普遍的原理和方法。本书把论辩看作是发生在批判性讨论背景下的一种特殊交际形式，所关注的是发生在日常讨论中的论辩，系统地讨论了论辩研究的关键概念，并用取材于现实生活中的话语与文本的例子来帮助解释这些概念。本书考查了论辩性讨论的分析和评价的基本原理，并为识别意见分歧、分析与评价论辩，以及用书面或口头形式来表达论辩提供了方法论工具。 　　《论辩巧智》结合哲学和逻辑学对论辩话语进行分析研究，将批判性思维方式和技巧引入论辩中，这不仅有利于提高论辩能力，而且更有利于提升思维水平。本书不仅适合于对传播学、交际理论、法律、教育学、哲学、语言学、话语理论、写作、演讲等有兴趣的本科生和研究生，而且对职业培，训也大有其实用价值。在论辩中掌握这一思维模式，对政治和商业谈判的成功具有非常显著的效果。而本书中以现实生活为基础的大量练习，对提高论辩中的分析、评价与表达技巧，都提供了十分有效的途径。这既是一部学术性著作，更是一部在诸多领域中实践性非常强的著作。