А 32 Адян, С. И. Проблема Бернсайда и тождества в группах [Текст] / С. И. Адян. - М. : Наука, 1975. - 335 с. - 1.47 р. Рубрики: Алгебра Кл.слова (ненормированные): алгебра -- тождества Экземпляры всего: 1 Ч.з.1 (1) Свободны: Ч.з.1 (1) |
Г 47 Гильберт, Д. Основания математики. Логические исчисления и формализация арифметики [Текст] : пер. с нем. / Д. Гильберт, П. Бернайс ; пер. Н. М. Нагорный ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 556,[4] с. - (Математическая логика и основания математики). - 2.70 р. Рубрики: Математика Кл.слова (ненормированные): основания математики -- логические исчисления Доп.точки доступа: Бернайс, П.; Нагорный, Н.М. \пер.\; Адян, С.И. \ред.\ Экземпляры всего: 5 Ч.з.1 (5) Свободны: Ч.з.1 (5) |
М 50 Мендельсон, Эллиот. Введение в математическую логику [Текст] / Э. Мендельсон; пер. с англ. Ф.А. Кабакова; под ред. С.И. Адяна. - М. : Наука, 1971. - 320 с. - 1.77 р. Рубрики: Математическая логика Кл.слова (ненормированные): исчисление высказываний -- формальная арифметика -- эффективная вычислимость Доп.точки доступа: Кабаков, Ф.А. \пер. с англ.\; Адян, С.И. \ред.\ Экземпляры всего: 4 Аб.2 (4) Свободны: Аб.2 (4) |