Исследования по конструктивной математике и математической логике. Вып.8

 

QR-код документа

Оценок: 0

517

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

УДК
517

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

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

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