01002nam a2200301 i 450099100030114970753620020506124947.0000505s1968 it ||| | ita b10681474-39ule_instEXGIL143172ExLBiblioteca Interfacoltàita891.7242Bulgakov, Mihail Afanasevic222457Teatro /Michail BulgakovBari :De Donato,1968810 p. ;21 cmRapportiTrad. di Laura Boffa, Tania Gargiulo, Bruno Meriggi e Maria OlsoufievaBoffa, LauraGargiulo, TaniaMeriggi, BrunoOlsufieva, Maria.b1068147423-02-1728-06-02991000301149707536LE002 Lett. I A 1512002000503152le002-E0.00-l- 00000.i1077502x28-06-02Teatro910066UNISALENTOle00201-01-00ma -itait 0101848nam 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