Handbook of computability theory. (1999)

• Record Type: Book
• Further Information: Note: Edited by Edward R. Griffor.
• Other Names: Griffor, Edward R
• Contents: The history and concpt of computability / R.I. Soare -- Recursively bounded (r.b.) classes in recursion theory / D. Cenzer -- Reducibilities / P. Odifreddi -- Local degree theory / S.B. Cooper -- The global structure of the Turing degrees / T.A. Slaman -- The recursively enumerable degrees / R.A. Shore -- An overview of the computably enumerable sets / R.I. Soare -- The continuous functionals / D. Normann -- Ordinal recursion theory / C.T. Chong and S.D. Friedman -- E-recursion / G.E. Sacks -- Recursion on abstract structures / P.G. Hinman -- Computable rings and fields / V. Stoltenberg-Hansen and J.V. Tucker -- The structure of computability in analysis and physical theory : an extension of Church's thesis / M.B. Pour-El -- Theory of numberings / Y.L. Ershov -- Pure recursive model theory / T.S. Millar -- Classifying recursive functions / H. Schwichtenberg -- Computation models and function algebras / P. Clote -- Polynomial time reducibilities and degrees / K. Ambos-Spies.
• Publisher Details: Place of publication not identified : North Holland
• Publication Date: 1999
• Extent: 1 online resource (724 pages)
• Subjects: 511.3; Computable functions; informatique théorique; récursivité; réductibilité; calculabilité; Fonctions calculables; Computable functions; Berekenbaarheid; Ordinateurs; Logique informatique; Informatique; Fonctions calculables; Complexité de calcul (informatique); Berechenbarkeit; Berechnungstheorie; Mathematische Logik; Rekursionstheorie; Rekursive Funktion; Zahlentheorie; Berechenbarkeit; Berechnungstheorie; Mathematische Logik; Rekursionstheorie; Rekursive Funktion; Zahlentheorie
• Languages: English
• ISBNs: 9780080533049; 0080533043
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.