本书是数理逻辑方面的一本名著，既概括了数学基础的主要内容，也概括了这方面所产生的若干基本方向．本书为数理逻辑和递归函数论提供一个有系统的导论，也为更新的数学基础的探讨提供一个有系统的导论． 本书可供高等学校数学系师生以及有关研究人员参考．