Recursively enumerable sets and degrees a study of computable functions and computably generated sets

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Soare, Robert Irving 1940-
التنسيق: كتاب
منشور في: Berlin Springer-Verlag 1987.
سلاسل:Perspectives in mathematical logic.
الموضوعات: