Jens E. Fenstad

General Recursion Theory

• Gebundenes Buch

Produktbeschreibung

This volume presents a unified and coherent account of the many and various parts of general recursion theory.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 238
• Erscheinungstermin: 16. Februar 2017
• Englisch
• Abmessung: 240mm x 161mm x 19mm
• Gewicht: 571g
• ISBN-13: 9781107168169
• ISBN-10: 1107168163
• Artikelnr.: 47721960

Autorenporträt

Jens E. Fenstad works in the Department of Mathematics at the University of Oslo.

Inhaltsangabe

Pons Asinorum
On the choice of correct notations for general theory
Part I. General Theory: 1. General theory: combinatorial part
2. General theory: subcomputations
Part II. Finite Theories: 3. Finite theories on one type
4. Finite theories on two types
Part III. Infinite Theories: 5. Admissible prewellorderings
6. Degree structure
Part IV. Higher Types: 7. Computations over two types
8. Set recursion and higher types
References
Notation
Author index
Subject index.