Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : New York, N.Y., USA :
North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co.,
1989-1999.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 125, 143. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162578059 | ||
| 003 | OCoLC | ||
| 005 | 20231117014948.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070806m19891999ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OCLCG |d OPELS |d OCLCQ |d TULIB |d OCLCO |d OCLCQ |d OPELS |d OCLCF |d DEBBG |d OCLCE |d YDXCP |d OCLCQ |d DEBSZ |d D6H |d OL$ |d BWN |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 622316789 |a 679322388 |a 779919560 |a 989334738 |a 1039535312 |a 1102534041 |a 1110259197 |a 1154167765 | ||
| 020 | |a 9780444502056 | ||
| 020 | |a 044450205X | ||
| 020 | |z 0444872957 |q (v. 1) | ||
| 020 | |z 9780444872951 |q (v. 1) | ||
| 035 | |a (OCoLC)162578059 |z (OCoLC)622316789 |z (OCoLC)679322388 |z (OCoLC)779919560 |z (OCoLC)989334738 |z (OCoLC)1039535312 |z (OCoLC)1102534041 |z (OCoLC)1110259197 |z (OCoLC)1154167765 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA9.6 |b .O35 1989eb | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 100 | 1 | |a Odifreddi, Piergiorgio, |d 1950- | |
| 245 | 1 | 0 | |a Classical recursion theory : |b the theory of functions and sets of natural numbers / |c Piergiorgio Odifreddi. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland ; |a New York, N.Y., USA : |b Sole distributors for the USA and Canada, Elsevier Science Pub. Co., |c 1989-1999. | ||
| 300 | |a 1 online resource (2 volumes) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 125, 143 | |
| 520 | |a 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 particular attention to polynomial time and space computability. It also deals with primitive recursive functions and larger classes, which are of interest to the proof theorist. The second half of the book starts with the classical theory of recursively enumerable sets and degrees, which constitutes the core of Recursion or Computability Theory. Unlike other texts, usually confined to the Turing degrees, the book covers a variety of other strong reducibilities, studying both their individual structures and their mutual relationships. The last chapters extend the theory to limit sets and arithmetical sets. The volume ends with the first textbook treatment of the enumeration degrees, which admit a number of applications from algebra to the Lambda Calculus. The book is a valuable source of information for anyone interested in Complexity and Computability Theory. The student will appreciate the detailed but informal account of a wide variety of basic topics, while the specialist will find a wealth of material sketched in exercises and asides. A massive bibliography of more than a thousand titles completes the treatment on the historical side. | ||
| 505 | 0 | |a 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. | |
| 500 | |a Vol. 2 lacks other title information. | ||
| 500 | |a "First edition 1999"--V. 2, t.p. verso | ||
| 500 | |a Vol. 2 published: Amsterdam; New York : Elsevier. | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 505 | 0 | |a v. 1. (v.125) -- v. 2 (v.143). | |
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 650 | 0 | |a Recursion theory. | |
| 650 | 6 | |a Th�eorie de la r�ecursivit�e. |0 (CaQQLa)201-0077505 | |
| 650 | 7 | |a Recursion theory |2 fast |0 (OCoLC)fst01091982 | |
| 650 | 7 | |a R�ecursivit�e, Th�eorie de la. |2 ram | |
| 776 | 0 | 8 | |i Print version: |a Odifreddi, Piergiorgio, 1950- |t Classical recursion theory. |d Amsterdam ; New York : North-Holland ; New York, N.Y., USA : Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999 |z 0444872957 |z 9780444872951 |w (DLC) 88033481 |w (OCoLC)18907888 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 125, 143. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444502056 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=143 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/143 |z Texto completo |