База данных: Каталог IBIS
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
Подробнее
517.1(03)
С 74
Справочная книга по математической логике : в 4-х ч.: Пер. с англ. / Под ред. Дж. Барвайса. - М. : Наука, 1982 - .
Ч. 3 : Теория рекурсии : справочник / Под ред. Ю. Л. Ершов. - М., 1982. - 360 с. - 2.00 р.
Перевод заглавия: Handbook of mathematical logic
Кл.слова (ненормированные):
элементы -- проблемы -- разрешимые -- неразрешимые -- результаты -- индуктивные -- определения -- алгоритмические -- поля -- комбинаторик -- вынуждение -- конструктивность -- топология -- дескриптивная -- иерархия -- спектр
Доп.точки доступа:
Барвайс, Дж. \ред.\
Ершов, Ю.Л. \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
С 74
Справочная книга по математической логике : в 4-х ч.: Пер. с англ. / Под ред. Дж. Барвайса. - М. : Наука, 1982 - .
Ч. 3 : Теория рекурсии : справочник / Под ред. Ю. Л. Ершов. - М., 1982. - 360 с. - 2.00 р.
Перевод заглавия: Handbook of mathematical logic
УДК |
Кл.слова (ненормированные):
элементы -- проблемы -- разрешимые -- неразрешимые -- результаты -- индуктивные -- определения -- алгоритмические -- поля -- комбинаторик -- вынуждение -- конструктивность -- топология -- дескриптивная -- иерархия -- спектр
Доп.точки доступа:
Барвайс, Дж. \ред.\
Ершов, Ю.Л. \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Беті 1, Нәтижелерін: 1