【数学家的逻辑】印书馆北京.pdf

译 1744/198 数学家的逻辑 [英]A.G.哈密尔顿著骆如枫陈慕昌茹季札黄万徽沈百英校商务印书馆 1989年北京

校者序呈现在读者面前的这本A.G.哈密尔顿的书,是一本数理逻辑的基础读物。数理逻辑这门学科发展到现在已形成了四大分支,即递归论、公理集合论、模型论与证明论。另外很多学者把作为此四大部分基础的逻辑演算部分,也作为一个独立的分支,因此也可以说数理逻辑包含五大部分。此五大部分的每一部分都包含着极其丰富的内容,而想要用较少的篇幅,又要把每一部分的基本内容、基本方法加以实质性的介绍,是很不容易的。可以说,本书作者在这方面作了一个成功的尝试。因此本书对想在较短时间内了解和掌握数理逻辑这一门重要学科的基本内容以及它所使用的一些基本方法的读者,无疑是一本良好的读物。

363 目录第1章非形式语句演算 1语句和连接词 1真值函数和真值表 1运算规则和代入规则范式连接词的充足集、论证和有效性形式语句演算形式系统L L的完备性定理非形式谓词演算谓词和量词一阶语言解释可满足性,真形式谓词演算 4形式系统Kg 等值,代入前束范式 4K的完备性定理 4模型.数学系统 5引言 5.