汪芳庭编著2010 年出版205 页ISBN：9787312027086
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
谢宝兴主编1991 年出版106 页ISBN：7506705370
本书收集了祖国医学中“长寿术”的名方，运用“数理统计”的理论和方法，对这些名方进行对比和筛选。
刘昌福主编2009 年出版186 页ISBN：9787811104646
本书主要概述初中数学、物理、化学、生物学科的各知识要点，方便初中生对中考要点的复习与掌握。
