А 32 Адян, С. И. Определяющие соотношения и алгоритмические проблемы для групп и полугрупп [Текст] / АН СССР, Тр. мат. ин-та им. В. А. Стеклова. 85. - М. : Наука, 1966. - 123 с. - Библиогр.: с. 122 (28 назв.). - Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
А 32 Адян, С. И. Проблема Бернсайда и тождества в группах [Текст] / С. И. Адян. - М. : Наука, 1975. - 335 с. - Библиогр.: с. 324-325 (25 назв.). - Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Мендельсон, Э. Введение в математическую логику [Текст] : пер.с англ. / Э. Мендельсон ; ред. С. И. Адян. - 3-е изд. - М. : Наука, 1984. - 319 с. : ил. - Библиогр.: с. 296-309. - Б. ц.
Доп.точки доступа: Адян, С.И. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Такеути, Г. Теория доказательств [Текст] : пер.с англ. / Г. Такеути ; ред. С. И. Адян. - М. : Мир, 1978. - 412 с. - Б. ц.
Доп.точки доступа: Адян, С.И. \ред.\ Экземпляры всего: 3 ХР (3) Свободны: ХР (3) |
Вопросы кибернетики [Текст] : сб.науч.тр. / АН УзССР. НПО кибернетики; ред. О. М. Белоцерковский. - Ташкент : АН УзССР, 1966 - . Вып.134 : Сложность вычислений и прикладная математическая логика / ред. С. И. Адян. - 1988. - 178 с. - ). - Библиогр. в конце ст. - Б. ц.
Математическая логика Доп.точки доступа: Белоцерковский, О.М. \ред.\; Адян, С.И. \ред.\; АН УзССР. НПО кибернетики Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |