数理逻辑的一本教材，内容丰富详实，有深度，是本科期间离散数学教学内容的推进。