ANDREW C.GROSS PETER M.BANTING LINDSAY N.MEREDITH I.DAVID FORD1993 年出版763 页ISBN:0395560837
(美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著;何自强等译2005 年出版289 页ISBN:7121007797
本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本...