相关推荐：

• 离散数学第一章数理逻辑
• 数理逻辑 第三章 数学推理 关系及其性质
• 数理逻辑 第二章 算法、整数和矩阵 整数和除法
• 逻辑学教程(第二版)(全套课件175P)