安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Computability and logic:英文版/(美)George S.Boolos, John P.Burgess, Richard C.Jeffreky著

出版发行项:

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

ISBN及定价:

7-5053-8828-2/CNY38.00

载体形态项:

356页:图;24cm

并列正题名:

可计算性与数理逻辑

丛编项:

国外计算机科学教材系列

个人责任者:

Boolos George S. 著

个人责任者:

Burgess John P. 著

个人责任者:

Jeffreky Richard C. 著

学科主题:

可计算性-教材-英文

学科主题:

数理逻辑-教材-英文

中图法分类号:

O141

版本附注:

第4版

出版发行附注:

本书由Cambridge University Press授权出版

书目附注:

有索引(第349-356页)

提要文摘附注:

本书主要论述了可计算性理论、基础元逻辑及一些高级专题。

豆瓣简介：