浙江药科职业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Computability and logic:英文版/(美)布勒斯, 伯吉斯, 杰弗里著

出版发行项:

北京:电子工业出版社,2003

ISBN及定价:

7-5053-8828-2/CNY38.00

载体形态项:

356页;24cm

并列正题名:

可计算性与数理逻辑

其它题名:

英文版

丛编项:

国外计算机科学教材系列

个人责任者:

布勒斯, G. S. (Boolos, George S.) 著

个人责任者:

伯吉斯, J. P. (Burgess, John P.) 著

个人责任者:

杰弗里, R. C. (Jeffrey, Richard C.) 著

学科主题:

可计算性-理论-英文-教材

学科主题:

数理逻辑-英文-教材

中图法分类号:

O141

版本附注:

据原书第4版译出

出版发行附注:

由英国剑桥大学出版社授权

书目附注:

有书目和索引

提要文摘附注:

全书论述了可计算性理论、基础元逻辑及一些高级专题。不仅包括了中等深度的逻辑教程讨论的基本专题，如哥德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一本经典的教科书。

豆瓣简介：