|
题名:
|
可计算性与数理逻辑 / (美)布勒斯[Boolos, G.S.], (美)Burgess, J.P., (美)Jeffrey, R.C.著 , |
|
ISBN:
|
7-5053-8828-2 价格： CNY38.00 |
|
语种:
|
chi |
|
载体形态:
|
356页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 电子工业出版社 出版日期： 2003.6 |
|
内容提要:
|
本书主要论述了可计算性理论、基础元逻辑及一引起高级专题。不仅包括了中等深度的逻辑教程所讨论的基本专题, 如哥德尔不完全性定理等, 而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题, 因而已成为一本经典的教科书。 |
|
主题词:
|
可计算机性 理论 |
|
主题词:
|
数理逻辑 英文 |
|
主题词:
|
可计算机性 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 4 |
|
主要责任者:
|
布勒斯, 著 |
|
主要责任者:
|
Boolos, 著 |
|
主要责任者:
|
Burgess, 著 |
|
次要责任者:
|
Jeffrey, 著 |
|
版次:
|
英文版 |