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

Online Public Access Catalogue

题名/责任者:

Computability and logic = 可计算性与数理逻辑 / George S. Boolos, John P. Burgess, Richard C. Jeffrey 著.

版本说明:

4th ed.

出版发行项:

Beijing : Pub. House of Electronic Industry, 2003.

ISBN:

7505388282

载体形态项:

9, 356 p. : ill. ; 24 cm.

变异题名:

可计算性与数理逻辑

丛编题名:

国外计算机科学教材系列

个人责任者:

Boolos, George.

附加个人名称:

Burgess, John P., 1948-

附加个人名称:

Jeffrey, Richard C.

论题主题:

Computable functions.

论题主题:

Recursive functions.

论题主题:

Logic, Symbolic and mathematical.

中图法分类号:

O141.3

书目附注:

Includes bibliographical references (p. 348) and index.

原版附注:

Reprint. Originally published: Cambridge : Cambridge University Press, c2002. 4th ed. 0521809754 0521007585 (pbk.)

豆瓣简介：