(美)Herbert B.Enderton著;沈复兴,陈磊,孙运传译2007 年出版240 页ISBN:7115143110
本书是数理逻辑课程的经典教材。
(美)斯塔克(H.Stark),(美)屠特尔(F.B.Tuteur)著;郭庆勋等译1982 年出版435 页ISBN:15013·0409
(美)斯塔克(H.Stark),(美)屠特尔(F.B.Tuteur)著;郭庆勋等译1982 年出版296 页ISBN:15010·0412
(美)Agnes L.Defranco,(美)Pender B.M.Noriega著;程尽能,王向宁等译2002 年出版426 页ISBN:7563709983