Recursion theory
by Shoenfield, Joseph R., (Joseph Robert)
"This series reports new developments in symbolic logic, broadly interpreted - quickly, informally, and at a high level. The type of material considered for publication includes: research monographs, lectures on a new field or presentations of a new perspective on a classical field, seminar work-outs, reports of meetings, provided they are of exceptional interest and devoted to a single topic."--Jacket.
Read More ↓Title Statements
- Full title :Recursion theory / Joseph R. Shoenfield.
Summary
"This series reports new developments in symbolic logic, broadly interpreted - quickly, informally, and at a high level. The type of material considered for publication includes: research monographs, lectures on a new field or presentations of a new perspective on a classical field, seminar work-outs, reports of meetings, provided they are of exceptional interest and devoted to a single topic."--Jacket.
Read More ↓Edition Statements
- Publication Date:©1993
Publication Statements
- Publisher(s):Springer-Verlag
- Place of Publication:Berlin
- Language:eng
- Publication Date:©1993
Notes
Includes index.
The Physical Object
- Description:84 pages ; : 24 cm.
Edition Identifiers
- ISBN:3540570934, 9783540570936, 0387570934, 9780387570938
- oclc:ocm28845550
- LC Classification:QA9.6
- Dewey Decimal:511.3/5
Table of Contents
1. Computability -- 2. Functions and Relations -- 3. The Basic Machine -- 4. Macros -- 5. Closure Properties -- 6. Definitions of Recursive Functions -- 7. Codes -- 8. Indices -- 9. Church's Thesis -- 10. Word Problems -- 11. Undecidable Theories -- 12. Relative Recursion -- 13. The Arithmetical Hierarchy -- 14. Recursively Enumerable Relations -- 15. Degrees -- 16. Evaluation of Degrees -- 17. Large RE Sets -- 18. Functions of Reals -- 19. The Analytical Hierarchy -- 20. The Projective Hierarchy.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Rate & Review