3622
правки
Изменения
м
→Разрешимые и перечислимые языки
## Подробней расписать доказательства
## Ссылки на леммы внутри конспекта
# '''взялиfixed''' [[Теорема о рекурсии]] (8)
## дать ссылки на английские источники и термины
## Неформальное пояснение к теореме