Изменения
Нет описания правки
* [[Неотделимые множества]]
* [[Свойства перечислимых языков. Теорема Успенского-Райса]]
* [[Теорема о рекурсии]]
== Источники информации ==
* [http://www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf ''Н. К. Верещагин, А. Шень.'' '''Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции.''' — М.: МЦНМО, 1999, с. 16. ISBN 5-900916-36-7 ]