В1 М 29 Мартин-Лёф, Пер. Очерки по конструктивной математике : пер. с англ. / П. Мартин-Лёф ; пер. Г. Е. Минц ; ред. пер. А. Г. Драгалин. - Москва : Мир, 1975. - 136 с. : граф. - Библиогр.: с. 128 - 131. - Указ.: с. 132 - 134. - Пер. изд. : Notes on constructive mathemanics / P. Martin-Lof. - (.) : 0.40
Рубрики: Математическая логика Кл.слова (ненормированные): конструктивная математика Держатели документа: ИСЭМ Доп.точки доступа: Минц, Г. Е. \пер.\; Драгалин, А. Г. \ред. пер.\; Martin-Lof, P. Имеются экземпляры в отделах: ХР Инв.б/н (свободен) |