Fundamentals of Generalized Recursion Theory ( Volume 105 )

Publication series ：Volume 105

Author： Fitting M.

Publisher： Elsevier Science‎

Publication year： 2011

E-ISBN: 9780080960319

P-ISBN(Paperback): 9780444861719

P-ISBN(Hardback): 9780444861719

Subject： O141.3 recursive function (recursion theory, the effectiveness theory)

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

Fundamentals of Generalized Recursion Theory

Chapter

Front Cover

pp.： 1 – 4

Fundamentals of Generalized Recursion Theroy

pp.： 4 – 5

pp.： 5 – 18

Introduction

pp.： 10 – 22

Contents

pp.： 18 – 10

Chapter 1. Recursion and ω-recursion Theories

pp.： 22 – 49

Chapter 2. Production Systems

pp.： 49 – 74

Chapter 3. Embeddings

pp.： 74 – 85

Chapter 4. Combining Production Systems

pp.： 85 – 110

Chapter 5. Effective Embeddings

pp.： 110 – 128

Chapter 6. Indexed Recursion and ω-recursion Theories

pp.： 128 – 168

Chapter 7. Indexed Relational Systems

pp.： 168 – 193

Chapter 8. Indexed Production Systems

pp.： 193 – 243

Chapter 9. Admissible Set Recursion Theories

pp.： 243 – 277

Chapter 10. Effective Operators of Higher Types

pp.： 277 – 315

Appendix

pp.： 315 – 318

Bibliography

pp.： 318 – 324

Index

pp.： 324 – 330

The users who browse this book also browse