Результаты поиска

Вычислимость и разрешимость в классе булевых алгебр: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 01.01.06 / Алаев Павел Евгеньевич. - Новосибирск, 2006. - 24 с.

Вычислимые модели Эренфойхтовых теорий: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Гаврюшкин Александр Николаевич. - Новосибирск, 2009. - 15 с.

Конечные базисы по суперпозиции в классах элементарных рекурсивных функций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.09 / Волков Сергей Александрович. - Москва, 2009. - 16 с.

Лекции по математике / В. Босс. Т. 16 : Теория множеств: от Кантора до Коэна. — Москва : Ленанд, 2018. — 204 с.

Лекции по математической логике и теории алгоритмов / Н.К.Верещагин, А.Шень. [Ч. 3] : Вычислимые функции. — 173, [1] с. — (Современные лекционные курсы)