
QR-код документа
>
М29
Мартин-Леф, П.
Очерки по конструктивной математике [Текст] : Пер.с англ. / П. Мартин-Леф. - М. : Мир, 1975. - 132 с. - ). - 0р.40к.
| УДК | 517.1 |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ТЕОРИЯ ЧИСЕЛ
ВЫСШАЯ АЛГЕБРА
Кл.слова (ненормированные):
Канонические системы -- Анализы -- Ординал -- Теория меры -- конструктивная математика -- математика
Свободных экз. нет