: Теория рекурсии / Г. Б. Эндертон [и др.] ; пер. с англ. С. Г. Дворникова, И. А. Лаврова; под ред. Ю. Л. Ершова

Уровень набора:  Справочная книга по математической логике : в 4 ч. / под ред. Дж. БарвайсаАвтор(ы): Барвайс, Дж.;
                   Эндертон, Г. Б.;
                   Дворников, С. Г.;
                   Лавров, И. А.;
                   Ершов, Юрий Леонидович, доктор физико-математических наук, род. 1940Язык документа: Русский.Страна публикации: RU.Издательство: Москва : Наука, 1982ББК: 22.122я22Наименование темы, используемое как предмет: МАТЕМАТИЧЕСКАЯ ЛОГИКА | РАЗРЕШИМЫЕ ТЕОРИИ | РЕКУРСИЯ
Метки из этой библиотеки: Меток нет.
Зарегистрируйтесь, чтобы добавлять метки.
    средняя оценка: 0.0 (0 голосов)
Тип единицы Местонахождение Состояние
Книги, брошюры Книги, брошюры
Витебская областная библиотека. Отдел хранения основного фонда
Выдается

20000 экз.

Нет никаких комментариев для этого документа.

Войти в учётную запись для возможности публиковать комментарии.
Языки: