《数理逻辑/中国高等学校计算机科学与技术专业（应用型）规划教材》共分7章。第0章绪论，介绍元数学的形成与发展，以及元数学与数理逻辑之间的关系，同时简要说明课程学习的目的和意义；第1章介绍集合论的基础知识，包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较等方面的内容；第2章介绍可计算性理论的基
《数学基础研究》是后期维特根斯坦有关数学哲学的研究结晶。其主要内容是根据其后期新的哲学理解对当时流行的数学基础研究中的形式主义思潮、逻辑主义思潮、直觉主义思潮进行分析和批评。本书译者是北京大学哲学系教授、著名的维特根斯坦专家韩林合先生。《数学基础研究》是译者参考维特根斯坦的手稿，重新编辑而成，并以译者的多年的研究为基础
《现代数学基础/军队“2110工程”三期建设项目资助教材》分为10章。第1章介绍集合、关系与映射，是全书的基础。第2章介绍代数系，主要是群、环和域。第3章介绍实分析基础，主要是实数集的完备性和与之等价的五种说法，以及实数集上的开集的构造。第4章介绍度量空间。第5章介绍拓扑空间。第6章介绍测度与积分。第7章介绍Lp空间。
《泛悖论与科学理论创新机制研究》比较系统全面的梳理了国内外关于悖论研究的成果，深入探究了泛悖论在科学理论创新中的重要作用，初步确立了科学理论创新体制的悖论模式，也对悖论研究的方法论价值作了一定的有启发性的研究，具有一定学术价值和理论价值。
《Mathematica基础及其在数学建模中的应用》是作者结合多年的Mathematica与数学建模课程教学实践编写的，其内容包括Mathematica软件介绍、Mathematica应用基础、Mathematica在高等数学中的应用、Mathematic8在线性代数中的应用、Mathematica在概率统计中的应用、
《美国MCM/ICM竞赛指导丛书：美国大学生数学建模竞赛题解析与研究（第2辑）》是以美国大学生数学建模竞赛（MCM/ICM）赛题为主要研究对象，结合竞赛特等奖的优秀论文，对相关的问题做深刻细致的解析与研究。《美国MCM/ICM竞赛指导丛书：美国大学生数学建模竞赛题解析与研究（第2辑）》针对2005年及2006年MCM/
《普通高等院校“十二五”规划教材：数学建模算法与应用习题解答》给出了《数学建模算法与应用》中全部习题的解答及程序设计，另外针对选修课的教学内容，又给出一些补充习题及解答。《普通高等院校“十二五”规划教材：数学建模算法与应用习题解答》的程序来自于教学实践，有许多经验心得体现在编程的技巧中。这些技巧不仅实用，也很有特色。书
《数学·人类智慧的源泉：数学谜题巧解答》用通俗、生动的语言，采用问答的形势介绍了数学上的一些有趣的问题，以及人们前赴后继地发现这些数学知识的曲折，这些为数学宝库增色添彩的猜想和发现，能够激发青少年读者学习数学的兴趣，开启潜在的创新意识。
《数学·人类智慧的源泉：打开数学智慧窗》用通俗、生动的语言，翔实介绍了数学上的一些有趣的习题，以及人们前赴后继地发现这些数学知识的曲折，这些为数学宝库增色添彩的猜想和发现，能够激发青少年读者学习数学的兴趣，开启潜在的创新意识。
《南开哲学教材系列：数理逻辑的思想与方法》包括六章，第一章，主要介绍集合、集合运算的基本思想和方法，这一章的目的在于为以后各章的使用奠定基础，第二章至第四章，介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书在选材上，只涉及数理逻辑的基本内容（包括命题逻辑和狭谓词逻辑），不涉及传统逻辑，也
书单推荐
