O000401　数理逻辑通俗讲话

---

王浩著。

科学出版社1981年2月版。21．6万字。分8章，有3个附录。

第一章介绍数理逻辑一百年来的发展状况，叙述数理逻辑发展史中的一些中心概念和定理，也简要论述数理逻辑与其他学科的关系；第二章介绍形式系统、谓词演算和Godel不完全性定理以及不可判定的数学问题；第三章介绍计算机的进展、计算机应用的几个例子和四色定理的证明；第四章讨论问题与解；第五章讨论一阶逻辑；第六章讨论理论的和可实现的计算；第七章讨论直线上有多少个点；第八章是一般性概述。