С 741
      Справочная книга по математической логике: в 4-х ч. : пер. с англ./ Ч. 3, Теория рекурсии ред. Дж. Барвайс. — М.: Наука 1982 — 360 с.