Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>S=вычислимость, определимость, в математической логике<.>)
Общее количество найденных документов : 1
1.
   В12
   Е804

    Ершов, Юрий Леонидович.
    Определимость и вычислимость [Текст] / Ю.Л. Ершов; Ин-т математики СО РАН, Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики. - 2-е изд., испр. и доп. - М. : Экономика, 2000. - 318 с.
Библиогр.: с. 306-309. - Указ. предм., обозначений: с. 310-314
27.03.17
ББК В127
Рубрики: вычислимость, определимость, в математической логике
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 108-8-2001
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН