Classical recursion theory : the theory of functions and sets of natural numbers /
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent app...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam ; New York :
Elsevier,
1992.
|
Colección: | Studies in logic and the foundations of mathematics ;
v. 125. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers; Copyright Page; Foreword; Preface; Preface to the Second Edition; Contents; Introduction; Chapter I. Recursiveness and Computability; Chapter II. Basic Recursion Theory; Chapter III. Post's Problem and Strong Reducibilities; Chapter IV. Hierarchies and Weak Reducibilities; Chapter V. Turing Degrees; Chapter VI. Many-One and Other Degrees; Bibliography; Notation Index; Subject Index.