O000421　数理逻辑导引

---

张尚水著。

中国社会科学出版社1990年4月版。26．5万字。

讲述数理逻辑的基础部分，即命题逻辑和一阶谓词逻辑。

两部分的论述都是从语义论到语形论，建立严格的公理系统，并探讨它们的元逻辑性质。

对于学习中常见的难点都作出详尽分析。开篇给出阅读本书的若干预备知识。

书中除介绍基本逻辑系统外，还概要介绍其他公理系统和自然推理系统。在一阶谓词逻辑部分，介绍一种有限的方法即表刊法，它用来表明一个公式或一给定的公式的有穷集合是不可满足的。

此外，还专节讲述集合论和模型论。