作为一位终生思考如何以好的方式表达数理逻辑问题的学者，作者在该书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出习题的答案，于结尾处附上术语对照表，使得该书非常适合作为数理逻辑入门教材。
除了学者的身份，作者还是一位趣味谜题专家，致力予面向普通读者写作，将深奥的思想以故事和谜题的形式讲述，这使得该书在介绍任何知识时都不设定专业基础，采取层层递进的方式，同时还有趣味十足的例子，适合作为数理逻辑普及读物。
《万千教育.数理逻辑入门》译者还特别邀请作者的学生、美国逻辑学家与计算机科学家梅尔文·菲廷（Melvin Fitting）为中文版撰写了序言，其以简单的语言指出了数理逻辑的关键以及该书的核心所在，便于读者整体把握数理逻辑的基本问题。

一部分　一般背景
1章　起点
集合论
集合的布尔运算
文恩图
布尔方程
第2章　无穷集
无穷集的大小
康托尔的伟大发现
连续统问题
伯恩斯坦-施罗德定理
第3章　一些问题出现了！
悖论
超游戏
两种集合论系统
第4章 更多的背景
关系与函数
数学归纳
有穷后继原则
球类运动
柯尼希引理
有穷生成树
广义归纳
良基关系
紧致性
第二部分　命题逻辑
第5章　命题逻辑基础
重言式
包含t与f的公式
说谎话者、说真话者与命题逻辑
逻辑联结词的相互依赖性
合舍
析舍
进一步的结果
16个逻辑联结词
第6章　命题表列
加标记公式
逻辑后承
使用不加标记公式的表列
命题逻辑表列中的证明
一个统一记法
度
正确性与完全性
紧致性
对偶表列
第7章　命题逻辑的公理系统
统一记法的系统
一个统一记法的系统U1
另一个统一记法的系统U2
第三部分　一阶逻辑
第8章　一阶逻辑基础
引入?与?
?与?的相互依赖性
关系符号
一阶逻辑的公式
变元的自由出现与约束出现
解释与赋值
重言式
一阶逻辑的公理系统
第9章　一阶逻辑的主要论题
一阶表列
量词的表列规则
统一记法
表列的完全性
辛迪卡集
有穷域中的可满足性
楼文汉姆-斯科伦定理与紧致性定理
布尔赋值与一阶赋值
正则定理
公理系统S1的完全性
第四部分　不完全性现象
10章　不完全性的一般概述
哥德尔机器
一些基本的一般结果
句法不完全性定理
可分离性
欧米伽一致性
一阶系统
哥德尔证明的本质
欧米伽不完全性
罗瑟构造
11章　初等算术
二元哥德尔编码
塔尔斯基定理
12章　形式系统
初等形式系统
数字集合与关系
初等形式系统的算术化
衍生结果
13章　皮亚诺算术
皮亚诺算术的公理模式与推理规则
14章　进一步的主题
对角化与不动点
一致性的不可证性
参考文献
术语对照表

雷蒙德·M.斯穆里安（Raymond M. Smullyan，1919—2017）　世界著名逻辑学家、数学家，也是一位职业钢琴演奏家和职业魔术师。1959年于普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。
哥德尔不完全性定理研究专家，系统地发展了表列证明方法，并致力于向普通读者普及数理逻辑。著有30余部著作，包括数理逻辑专业著作以及趣味逻辑谜题书，如《形式系统的理论》（Theory of Formal Systems，1961）、《一阶逻辑》（First-Order Logic，1968）、《哥德尔不完全性定理》（G?del’s Incompleteness　Theorems，1992）、《元数学的递归论》（Recursion　Theory for Metamathematics，1993）、《对角化和自指》（Diagonalization and Self-Reference，1994）、《这本书叫什么？》（What Is the Name of This Book?，1978）、《逻辑迷宫》（Logical Labyrinths，2009）、《哥德尔谜题书》（The G?delian Puzzle Book，2013）等。
刘新文，译者简介
刘新文 中国社会科学院哲学博士，中国社会科学院哲学所研究员。主要研究方向为图式逻辑、模态逻辑、皮尔士逻辑与哲学等。出版有专著《图式逻辑》《谢弗函数研究》《可能世界的名字》等。
张瑜　北京大学哲学系逻辑学专业博士研究生。
荣华夏　中国社会科学院研究生院哲学系逻辑学专业硕士研究生。
闫佳亮　中国社会科学院研究生院哲学系逻辑学专业硕士研究生。
张立英　北京大学哲学博士，中央财经大学文化与传媒学院教授。主要研究方向为符号逻辑、哲学逻辑等。出版有专著《概称句推理研究》等。

集合论
数理逻辑的开端与19世纪集合论——特别是由著名数学家格奥尔格·康托尔（Georg Cantor）创立的无穷集（infinite set）理论——的发展密切相关。在讨论无穷集之前，我们通常要先看一下集合的一些基本理论。
集合是任何对象的汇集。集合论的基本概念是元素关系。集合A是一堆东西，并且说对象x是A的成员，或者A的元素，或者x属于A，或者A包含x，就是说x是那些东西之一。例如，如果A是从1到10的有正整数的集合，则数字7是A的一个成员（4也是），但是12不是A的成员。元素关系的标准记法是符号∈（epsilon），“x是A的元素”的表达可以缩写为“x∈A”。
如果A的每个元素也是B的元素，那么集合A是集合B的子集。不幸的是，许多初学者学习集合会把子集与元素关系混淆。作为区分的一个例子，让H是有人的集合，让W是有女人的集合。显然W是H的一个子集，因为每个女人也是人。但W很难成为H的元素，因为W显然不是一个人。子集的符号是所谓的“包含于”（inclusion），记为?。因此，对于任何集合对A和B，短语“A是B的子集”被缩写为A?B。如果A是B的子集，则B被称为A的上集（superset）。因此，A的上集是包含A的有元素的集合，并且可能也包含其他元素。如果A不是B的全部，换句话说，如果B包含一些不在A中的元素，则B的子集A被称为B的真子集（proper subset）。
集合A与集合B相同当且仅当它们包含完全相同的元素，换句话说，当且仅当它们是另一个的子集。两个集合可以不同，如果其中一个包含至少一个不在另一个中的元素。集合A无法成为集合B的子集的一方法是，A至少包含一个不在B中的元素。
如果一个集合不包含任何元素，则称为空集。例如，每个人离开后，剧院中有人的集合。只能有一个空集，因为如果A和B都是空集，它?包含完全相同的元素，即根本没有元素。换句话说，如果A和B都是空的，那么任何一个都不包含另一个中的任何元素，因为都不包含任何元素。也就是说，如果A和B都是空集，那么A和B是相同的集合。因此，只有一个空集，并且在本书中将用符号“?”表示。
空集有一个特征，对于一次遇到它的人来说似乎很奇怪。作为初步说明，设想这样一个俱乐部，其董事长说俱乐部的有法国人都戴着贝雷帽。但是假设事实表明俱乐部里没有法国人。董事长的说法应被视为为真、为假还是两个都不是？更一般地说，给定一个任意属性P，说空集的有元素都有属性P，应该被认为为真、为假还是两个都不是？在这里，我们须终做出选择，数学家和逻辑学家普遍认同的选择是，这样的陈述应该被当作真的！这样决定的一个原因是：给定任意集合S和任意属性P，P对于S的有元素都不成立的一方式是，至少有一个S中的元素，其中P不成立。空集对刚刚的语句也不例外，因此，P对空集的有元素不成立的一方法是，至少有一个空集的元素不存在属性P，但这不可能，因为空集没有元素！［正如已故数学家保罗·哈尔莫斯（Paul Halmos）所说的那样，“如果你不相信P对空集的有元素都成立，只要试图找到一个空集的元素，P不成立！”］这样，从此我们将认为，对于任意属性P，空集的有元素都具有属性P。这是另一种观察它的方式，预示了命题逻辑的一个重要原则，我们将在第二部分研究，即词语“蕴涵”或“如果……那么”的逻辑用法。
在典逻辑中使用的短语“如果……那么”对一次遇到它的人来说有点震撼，理所当然，因为它是否真的与短语通常的使用方式相对应是非常值得怀疑的。
假设一个男人告诉一个女孩：“如果我明年夏天找到工作，那么我会娶你。”如果他明年夏天找到了一份工作并娶了她，那么他遵守了诺言。如果他找到了一份工作但没有娶她，他显然违背了他的诺言。现在，假设他没有找到工作但无论如何都要和她结婚。我怀疑没有人会说他违背了诺言！所以，在这种情况下，我们会说他遵守了诺言。关键的情况是，他既没有找到工作，也没有娶她。你对这种情况有什么看法？他遵守诺言了吗？他违背诺言了吗？还是两个都不是？假设女孩抱怨说：“你说过如果找到工作就娶我，你没有找到任何工作，你就不娶我了！”男人可以理所当然地说：“我没有违背诺言！我从未说过我会娶你——我说的是，如果我找到工作，那么我会娶你。但是我没有找到工作，所以我没有违背诺言。”
就像我说的那样，我相信你不会因为他在这种情况下没有违背诺言而感到不适，但我想你们许多人会对他说自己遵守了诺言感到不舒服。
好吧，无论“如果”部分或“那么”部分为真还是为假，我们希望“如果……那么”形式的有陈述都是或为真或为假的。根据这条规则，既然我们已经决定这个男人没有违背他的诺言，我们别无选择，只能说他遵守了他的诺言，这看起来很奇怪！
因此，在典逻辑中，对于任何一对命题p和q，只有当p为真且q为假时，语句“如果 p，那么 q”（也称为“p蕴涵q”）才被认为为假。换句话说，“p蕴涵q”等同于“并非p为真且q为假”，或者同等地，“p为假或p和q都为真” 也等同于“p为假或q为真”。
这种蕴涵更明确地被称为实质蕴涵（material implication），它确实有假命题蕴涵任何命题的奇怪属性！例如，陈述“如果巴黎是英格兰的首都，则2+2=5”将被视为真的！
我须告诉你一件有趣的事：有人曾经问过伯特兰·罗素，“你说假命题蕴涵任何命题。例如，从陈述2+2=5，你能证明你是教皇吗？”罗素回答说“是的” 并给出了以下证明：“假设2+2=5。我们也知道2+2=4，从而得出5=4。从等式的两边各减去3，得出2=1。现在，教皇和我是两个。既然两个等于一个，那么教皇和我就是一个！因此，我是教皇。”
具有各种奇怪属性的实质蕴涵确实有其优点，我想说明如下。假设我从一副牌中拿出一张牌，将其正面朝下放在桌子上并说：“如果这张牌是黑桃Q，那么它就是黑色的。你同意吗？”你当然会同意。然后我将牌翻过来，这是一张红色的牌——方块J。那么你会说认为我的陈述为真是错误的吗？我的例子到此为止！
现在，关于蕴涵的有这些如何与任何属性P对空集的有元素成立的陈述相关？好吧，对于给定的集合S和属性P来说，S的有元素都具有属性P，就是说，对于每个元素x，如果x在S中，则x具有属性P。特别地，说空集?的有元素具有属性P，就是说，对于任何元素x，如果x在?中，则x具有属性P。好吧，对于任何x，x在?中为假，并且由于假命题蕴涵任何命题，那么“如果x在?中，则x具有属性P”就为真。因此，对于有x，如果x∈?，那么P（x），这意味着P对?的有元素都成立。