当前位置:首页 > 斯蒂芬·P·罗宾斯等相关PDF电子书下载
-
可计算性与数理逻辑 第4版
(美)George S.Boolos,(美)John P.Burgess,(美)Richard C.Jeffrey著;何自强等译2005 年出版289 页ISBN:7121007797本书是一本经典的逻辑教科书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本...
-
-
-
-
-
-
-
-
-
