Электронный каталог

Очистить форму

 

База данных: Электронный каталог ДВФУ

Страница 1, Результатов: 1

Отмеченные записи: 0

517

    Исследования по конструктивной математике и математической логике. Вып.8 : Сб. ст. / Академия наук СССР, Математический институт ; Под ред. Матиясевич Ю.В.; АН СССР.Мат.ин-т. - Л. : Наука, 1979. - 251 c.

УДК
517

Кл.слова (ненормированные):
теорема когеррентности -- конструктивная математика -- математика -- математическая логика -- канонические морфизмы -- гипотеза Хадвигера -- предикаты -- секвенции -- сборник работ -- изоморфизм графов
Доп.точки доступа:
Матиясевич Ю.В. \ред.\
Академия наук СССР. Математический институт

Свободных экз. нет

Исследования по конструктивной математике и математической логике. Вып.8 [Текст] : Сб. ст. / Академия наук СССР, Математический институт, 1979. - 251 c. с.

1.
Краткое Полное

Исследования по конструктивной математике и математической логике. Вып.8 [Текст] : Сб. ст. / Академия наук СССР, Математический институт, 1979. - 251 c. с.

517

    Исследования по конструктивной математике и математической логике. Вып.8 : Сб. ст. / Академия наук СССР, Математический институт ; Под ред. Матиясевич Ю.В.; АН СССР.Мат.ин-т. - Л. : Наука, 1979. - 251 c.

УДК
517

Кл.слова (ненормированные):
теорема когеррентности -- конструктивная математика -- математика -- математическая логика -- канонические морфизмы -- гипотеза Хадвигера -- предикаты -- секвенции -- сборник работ -- изоморфизм графов
Доп.точки доступа:
Матиясевич Ю.В. \ред.\
Академия наук СССР. Математический институт

Свободных экз. нет

Авторизуйтесь для получения дополнительных услуг

Страница 1, Результатов: 1

 

Все поступления за 
Или выберите интересующий месяц