М29 Мартин-Лёф, П. Очерки по конструктивной математике: Пер. с англ. [Текст] / П. Мартин-Лёф; Под ред. Г.Е. Минца. - М. : Мир, 1975. - 136 с. - 0.40 р.
Кл.слова (ненормированные): Математика -- конструктивная теория -- рекурсивные функции -- конструктивные элементы -- множества -- открытые множества -- борелевские множества -- теория меры -- нули -- ординальные числа Экземпляры всего: 1 2к (1) Свободны: 2к (1) |