271
правка
Изменения
→Литература
== Литература ==
* ''Верещагин Н. К.Верещагин, А. Шень А.'' '''Лекции по математической логике и теории алгоритовалгоритмов. Часть 3. Вычислимые функции''' . — М.: МЦНМО, 1999. С. 134. ISBN 5-900916-36-7