Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Years
Subjects(RVK)
Access
  • 1
    UID:
    b3kat_BV036962894
    Format: 1 Online-Ressource (xix, 668 p.) , ill , 23 cm
    Edition: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444894837 , 9780444894830
    Series Statement: Studies in logic and the foundations of mathematics v. 125
    Note: "First edition 1989"--T.p. verso. - Includes bibliographical references and indexes , Urspruengliches Erscheinungsjahr:1989
    Additional Edition: Reproduktion von Classical recursion theory 1992
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Rekursionstheorie ; Electronic books
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almahu_BV024388978
    Format: XVII, 668 S. : graph. Darst.
    Edition: 2. impr.
    ISBN: 0-444-87295-7 , 0-444-89483-7
    Series Statement: Studies in logic and the foundations of mathematics 125
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Rekursionstheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    almafu_9958081316302883
    Format: 1 online resource (689 p.)
    Edition: [2nd ed.].
    ISBN: 1-281-75468-4 , 9786611754686 , 0-08-088659-0
    Series Statement: Studies in logic and the foundations of mathematics ; v. 125
    Content: 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 approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of application
    Note: Description based upon print version of record. , Cover; Copyright Page; Dedication; Foreword; Preface; Preface to the Second Edition; TOCContents; Introduction; What is 'Classical'; What is in the Book; Applications of Recursion Theory; How to Use the Book; Notations and Conventions; CHChapter I. Recursiveness and Computability; I.1 Induction; I.2 Systems of Equations; I.3 Arithmetical Formal Systems; I.4 Turing Machines; I.5 Flowcharts; I.6 Functions as Rules; I.7 Arithmetization; I.8 Church's Thesis; CHChapter II. Basic Recursion Theory; II.1 Partial Recursive Functions; II.2 Diagonalization; II.3 Partial Recursive Functionals , II.4 Effective OperationsII.5 Indices and Enumerations; II.6 Retraceable and Regressive Sets; CHChapter III. Post's Problem and Strong Reducibilities; III.1 Post's Problem; III.2 Simple Sets and Many-One Degrees; III.3 Hypersimple Sets and Truth-Table Degrees; III.4 Hyperhypersimple Sets and Q-Degrees; III.5 A Solution to Post's Problem; III.6 Creative Sets and Completeness; III.7 Recursive Isomorphism Types; III.8 Variations of Truth-Table Reducibility; III.9 The World of Complete Sets; III.10 Formal Systems and R.E. Sets; CHChapter IV. Hierarchies and Weak Reducibilities , IV.l The Arithmetical HierarchyIV.2 The Analytical Hierarchy; IV.3 The Set-Theoretical Hierarchy; IV.4 The Constructible Hierarchy; CHChapter V. Turing Degrees; V.1 The Language of Degree Theory; V.2 The Finite Extension Method; V.3 Baire Category; V.4 The Coinfinite Extension Method; V.5 The Tree Method; V.6 Initial Segments; V.7 Global Properties; V.8 Degree Theory with Jump; CHChapter VI. Many-One and Other Degrees; VI.1 Distributivity; VI.2 Countable Initial Segments; VI.3 Uncountable Initial Segments; VI.4 Global Properties; VI.5 Comparison of Degree Theories , VI.6 Structure Inside DegreesBibliography; Notation Index; IDXSubject Index , English
    Additional Edition: ISBN 0-444-87295-7
    Additional Edition: ISBN 0-444-89483-7
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_BV012857285
    Format: XIX, 668 S. : graph. Darst.
    Edition: Paperback ed., 2. imp.
    ISBN: 0-444-87295-7 , 0-444-89483-7
    Series Statement: Studies in logic and the foundations of mathematics 125
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Rekursionstheorie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 0444594833?
Did you mean 0444854037?
Did you mean 0444804137?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages