西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

可计算性与数理逻辑/(美)George S.Boolos，(美)John P.Burgess，(美)Richard C.Jeffrey著 何自强等译

出版发行项:

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

ISBN及定价:

7-121-00779-7/CNY32.00

载体形态项:

12,288页;26cm

并列正题名:

Computability and Logic

丛编项:

国外计算机科学教材系列

个人责任者:

博洛斯 (Boolos, George S.) (美) 著

个人责任者:

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

个人责任者:

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

个人次要责任者:

何自强 (计算机) 译

学科主题:

电子计算机-教材-可计算性

学科主题:

数理逻辑-教材

学科主题:

电子计算机

学科主题:

可计算性

学科主题:

数理逻辑

中图法分类号:

TP301.4

中图法分类号:

O141

版本附注:

Cambridge University Press授权出版 据原书第4版译出

提要文摘附注:

本书是一本经典的数理逻辑教科书，包括可计算性理论、基础元逻辑、高级专题三部分，共27章。

豆瓣简介：