相关书籍

• 面向计算机科学的数理逻辑系统建模与推理（英文版·第2版） ([英] 胡思)
• 计算机科学丛书：逻辑与计算机设计基础（原书第4版） (M.Morris Mano 编)
• 数理逻辑教程 ([英] John ， Bell)
• 面向工程与科学的C++程序设计/世界著名计算机教材精选 ([美] 奈霍夫)
• 精神科学的逻辑 (约翰·斯图尔特·密尔 ， 李涤非)
• 面向计算机科学与技术专业规范系列教材：计算机组成基础 (孙德文)
• 面向计算机科学与技术专业规范系列教材：面向对象分析与设计 (麻志毅)
• 大学计算机基础：计算机科学的基本思维/高等学校计算机基础教育教材精选 (高伟 ， 郭江鸿 等 编)
• 数理逻辑（第2版） (汪芳庭)
• 数理逻辑与集合论 (房元霞 ， 赵汝木 等 编)