Normal view MARC view ISBD view

Kozen, Dexter, 1951-

Theory of computation / Dexter C. Kozen. - London : Springer, c2006. - xiii, 418 p. : ill. ; 25 cm. - Texts in computer science . - Texts in computer science. .

Includes bibliographical references (p. [391]-398) and index.

ISBN: 9781846282973 (acid-free paper) 1846282977 (acid-free paper)

Publisher. No.: 10949559

LCCN: 2005937504

Nat. Bib. No.: GBA614844 bnb 05,N48,0749 dnb

Nat. Bib. Agency Control No.: 013381062 Uk

Subjects--Topical Terms:
Computational complexity.
Computer science--Mathematics.
Recursion theory.

LC Class. No.: QA267.7 / .K69 2006

Dewey Class. No.: 511.352