逻辑与数学相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
数理逻辑概貌
莫绍揆
评分 暂无
本书向初学者扼要介绍数理逻辑的各部分内容。在逻辑演算中除介绍真值联结词与量词的公理系统外，还介绍了自然推理系统，以冀这个方便的工具可以早日普及。在集合论中介绍了集合论悖论的产生，当初解决悖论的各种尝试，以便读者可以理解现在的公理集合论的来龙去脉。递归论中除介绍各种重要的递归函数类外，着重指出各种推广的重要应用。证明论中介绍数学基础方面的各个派别以及不完全性定理，它指导着证明论的发展趋向。在模型论中
第三次数学危机
胡作玄
评分 8分
数学是精密的,严格的,准确的,靠得住的。 数学是精密的,严格的,准确的,靠得住的？
