Classical recursion theory : the theory of functions and sets of natural numbers /
Volume II of <IT>Classical Recursion Theory</IT> describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from th...
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Published: |
North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co.,
|
Publisher Address: | Amsterdam ; New York : New York, N.Y., USA : |
Publication Dates: | 1989-1999. |
Literature type: | eBook |
Language: | English |
Series: |
Studies in logic and the foundations of mathematics ;
v. 125, 143 |
Subjects: | |
Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/143 |
Summary: |
Volume II of <IT>Classical Recursion Theory</IT> describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from small time and space bounds to the elementary functions, with a par |
Item Description: |
Vol. 2 lacks other title information. "First edition 1999"--V. 2, t.p. verso. Vol. 2 published: Amsterdam ; New York : Elsevier. |
Carrier Form: | 1 online resource (2 volumes) : illustrations. |
Bibliography: | Includes bibliographical references and indexes. |
ISBN: |
9780444502056 044450205X |
Index Number: | QA9 |
CLC: | O141.3 |
Contents: |
Preface. Introduction. Theories of Recursive functions. Hierarchies of recursive functions. Recursively enumerable sets. Recursively enumerable degrees. Limit sets. Arithmetical sets. Arithmetical degrees. Enumeration degrees. Bibliography. Notation index. Subject index. v. 1. (v.125) -- v. 2 (v.143). |