数理逻辑概貌

莫绍揆

评分 0.0分

本书向初学者扼要介绍数理逻辑的各部分内容。在逻辑演算中除介绍真值联结词与量词的公理系统外，还介绍了自然推理系统，以冀这个方便的工具可以早日普及。在集合论中介绍了集合论悖论的产生，当初解决悖论的各种尝试，以便读者可以理解现在的公理集合论的来龙去脉。递归论中除介绍各种重要的递归函数类外，着重指出各种推广的重要应用。证明论中介绍数学基础方面的各个派别以及不完全性定理，它指导着证明论的发展趋向。在模型论中