Расширенный поиск

Верещагин Н. К., Шень А.
   Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - М. : МЦНМО, 1999. - (Современные лекционные курсы).
   Ч. 3 : Вычислимые функции. - 1999. - 173 с. - Библиогр.: с. 166-167. - ISBN 5-900916-39-1.

Верещагин Н. К., Шень А.
   Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - 3-е изд., стер. - М. : Изд-во МЦНМО, 2008. - (Современные лекционные курсы).
   Ч. 3 : Вычислимые функции. - 2008. - 189 с. - Библиогр.: с. 179-180. - ISBN 978-5-94057-323-4.

Марченков С. С.
   Рекурсивные функции / Марченков С. С. - М. : Физматлит, 2007. - 62 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6.

Марченков С. С.
   Элементарные рекурсивные функции / Марченков С. С. - М. : Изд-во МЦНМО, 2003. - 111 с. - Библиогр.: с. 109-111. - ISBN 5-94057-098-4.