（美）George S.Boolos，（美）John P.Burgess，（美）Richard C.Jeffrey著；何自强等译2005 年出版289 页ISBN：7121007797
本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本...
王桂科主编；雪梅副主编2012 年出版93 页ISBN：9787536064782
本书意在弘扬雷锋精神。全书共收集歌颂雷锋的歌曲50首，旋律明快，内容健康，既有收藏价值，又有励志意义。
