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