杨启帆 / 1990年05月第1版 / 343页

沈继红 / 1996年05月第1版 / 353页

朱梧槚 / 1996年05月第1版 / 588页

汪芳庭 / 1995年01月第1版 / 197页

齐欢 / 1996年06月第1版 / 318页

任善强 / 1996年08月第1版 / 256页

汪芳庭 / 1990年09月第1版 / 273页

本书前两章介绍了命题演算和谓词演算,第三章介绍形式算术,递归函数及二者的关系,第四章中心是不完备性定理,其中建立了Godel定理、Godel-Rosser定理、Tarski定理、形式算术的不可判定性定理、无矛盾性不可证性定理的一种易证形式等。

赵克勤著 / 2000.03 / 198页

本书共七章，第一至第五章介绍集对分析的基本概念和思想、理论、方法，第六章与第七章是集对分析在科学研究与工程技术以及社会、经济、人文等领域中的初步应用。

（英）D.A.约翰逊 / 1984年03月第1版 / 96页

书名原文:Logic and reasoning in mathematics

张宏裕 / 1989年05月第1版 / 218页

本书内容有:理想计算机、原始递归函数、一般递归函数理想机和等式系的计算化等。