剧情简介：本书向初学者扼要介绍数理逻辑的各部分内容。在逻辑演算中除介绍真值联结词与量词的公理系统外，还介绍了自然推理系统，以冀这个方便的工具可以早日普及。在集合论中介绍了集合论悖论的产生，当初解决悖论的各种尝试，以便读者可以理解现在的公理集合论的来龙去脉。递归论中除介绍各种重要的递归函数类外，着重指出各种推广的重要应用。证明论中介绍数学基础方面的各个派别以及不完全性定理，它指导着证明论的发展趋向。在模型论中除介绍一些重要的定理外，着重介绍非标准模型的出现，这是近代数理逻辑的一个新奇点。本书是一本科普读物，可供没有经过正规数学训练的初学者阅读和参考。
作者：莫绍揆
出版社：科学技术文献出版社
ISBN：9787502306618
