O000421　数理逻辑导引

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第12册数理科学和化学、生物科学》第44页（254字）

张尚水着。

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

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

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

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

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

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