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...

Full description

Saved in:
Bibliographic Details
Main Authors: Odifreddi, Piergiorgio, 1950
Corporate Authors: Elsevier Science & Technology
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).