|
题名:
|
可计算性与数理逻辑 / (美) George S. Boolos, John P. Burgess, Richard C. Jeffrey著 , 何自强等译 |
|
ISBN:
|
7-121-00779-7 价格： CNY32.00 |
|
语种:
|
chi |
|
载体形态:
|
12, 288页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 电子工业出版社 出版日期： 2005 |
|
内容提要:
|
本书主要论述了可计算性理论、基础元逻辑及一些高级专题。本书不仅包括了中等深度的逻辑教程所讨论的基本专题, 而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题, 因而已成为一本经典的教科书。 |
|
主题词:
|
可计算性 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141.3 版次： 4 |
|
主要责任者:
|
布勒斯 著 |
|
主要责任者:
|
布格斯 著 |
|
主要责任者:
|
杰弗里 著 |
|
次要责任者:
|
何自强 译 |