Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Odifreddi, Piergiorgio, 1950-
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.