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

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