（日）永井成男著；李树琦译1992 年出版383 页ISBN：7500409907
阐述了西方分析哲学。内容包括：分析性问题、分析悖论问题、哲学命题、分析命题、综合命题等。
龚启荣著2006 年出版203 页ISBN：7806506829
本书讨论了当代逻辑语义学基础、客观世界的逻辑结构和逻辑规律、概念、命题、逻辑定理、逻辑证明等问题，提出了一系列原创性、新的逻辑理论问题，并给出了合理的解决方案。...
朱梧槚著2008 年出版317 页ISBN：7561140312
本书主要介绍了数学无穷与数学基础，潜无限数学系统与重建实无限数学系统的构想。
（美）詹姆斯·M.布坎南（James M.Buchanan），（美）戈登·塔洛克（Gordon Tullock）著；陈光金译2000 年出版384 页ISBN：7500428456
（美）Marilyn Bohl，（美）Maria Rynn著；邓劲生译2003 年出版345 页ISBN：7302070466
本教材讲解内容比较多、涉及面比较广。涉及到了结构程序设计，面向对象程序设计和软件工程等领域的内容。同时，包括了一些操作性很强的东西，比如用Basic和Visual Basic进行程序设计。...
张继成著2011 年出版342 页ISBN：9787511824608
本书运用哲学、逻辑知识对证据基础理理论分析，探讨其所以然，提供一些详细的方法，并对学术界某些观点进行批判。
