陈常洪，李朝东主编2013 年出版136 页ISBN：9787807642114
本书讲练结合，适用于高中学生同步预习和复习使用。全书分“基础梳理”、“重难点突破”、“反馈练习”三个版块，结构严谨，栏目功能实用，内容质量优化。...
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282
本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
