• 高级数理逻辑
• 高级数理逻辑第11讲
• 高级数理逻辑-习题
• 高级数理逻辑第1讲
• 高级数理逻辑-习题
• 数字逻辑第二章
• 高级数理逻辑第11讲全解
• 数理逻辑复习题
• 实验1_数理逻辑
• 数理逻辑三个逻辑