"Справочная книга по математической логике, часть 3: Теория рекурсии" - читать интересную книгу автора (Барвайс Дж. (ред.)(Barwise J.))