01848nam 22004453 450 991048288510332120231110221915.03-662-22378-3(CKB)1000000000751043(MiAaPQ)EBC3099812(Au-PeEL)EBL3099812(CaPaEBR)ebr10974713(OCoLC)934997587(EXLCZ)99100000000075104320210901d1993 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierRecursion theory1st ed.Berlin, Heidelberg :Springer,1993.©1993.1 online resource (89 pages)Lecture Notes in Logic ;v.13-540-57093-4 Lecture Notes in Logic 1 Recursion Theory -- Recursion Theory -- Copyright -- Introduction -- 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. Function of Reals -- 19. The Analytical Hierarchy -- 20. The Projective Hierarchy -- Suggestions for Further Reading -- Index.Lecture Notes in Logic 511.35Shoenfield Joseph R(Joseph Robert),1927-50563Girard J.-Y1225454Lachlan A48457MiAaPQMiAaPQMiAaPQBOOK9910482885103321Recursion Theory2845147UNINA