题名:	可计算性与数理逻辑 / (美)George S.Boolos, (美)John P.Burgess, (美)Richard C.Jeffrey ,
ISBN:	7-121-00779-7 价格： 32.00
载体形态:	288页 26cm
出版发行:	出版地：北京出版社：电子工业出版社出版日期： 20050101
内容提要:	本书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书不仅包括了逻辑教程所讨论的基本专题，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题。
主题词:	可计算性
中图分类法:	O141 版次：