Web ИРБИС

   51/М340
   А16

    Абрамов, Л. М.и др.
    Математический энциклопедический словарь [Текст] / Л.М.и др. Абрамов, В.Н. Агафонов, С.И. АдянАбрамов Л.М.Абрамов Л.М.Абрамов Л.М.Абрамов Л.М.Абрамов Л.М.Абрамов Л.М.Абрамов Л.М.Агафонов В.Н.,Адян С.И.Абрамов Л.М.Абрамов Л.М.Абрамов Л.М.Абрамов Л.М.Абрамов Л.М.Абрамов Л.М. ; Агафонов В.Н.,Адян С.И.Агафонов В.Н.,Адян С.И.Агафонов В.Н.,Адян С.И.Агафонов В.Н.,Адян С.И.Агафонов В.Н.,Адян С.И.Агафонов В.Н.,Адян С.И.Агафонов В.Н.,Адян С.И. - М. : Науч.изд-во "Большая Рос.энцикл.", 1995. - 845,/3/ с. : ил. - Б. ц.

УДК

51(03)

Держатели документа:
Республиканская научно-техническая библиотека Казахстана
Доп.точки доступа:
Агафонов, В.Н.; Адян, С.И.
Свободных экз. нет

   51/М501

    Мендельсон, Э.
    Введение в математическую логику [Текст] : пер.с англ. / Э. Мендельсон; Под ред.С.И.Адяна. - 3-е изд. - М. : Наука, 1984. - 310 c. : ил. - (в пер.) : 1-80 р.

ГРНТИ	27.03.19
УДК	510.6

Рубрики: Математическая логика

Держатели документа:
Жамбылский филиал РНТБ Казахстана

Доп.точки доступа:
Адян, С.И. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   51/Т150

    Такеути, Г.
    Теория доказательства [Текст] : монография / Г. Такеути; Под ред. С.И.Адяна. - М. : Мир, 1978. - 412 c. - (в пер.) : 2-10 р.

ГРНТИ	27.23.15
УДК	510.23

Рубрики: Доказательства

Держатели документа:
Жамбылский филиал РНТБ Казахстана

Доп.точки доступа:
Адян, С.И. \ред.\
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)

   517/Г474

    Гильберт, Д.
    Основания математики [Текст] : логические исчисления и формализация арифметики / Д. Гильберт; Под ред. С.И.Адяна. - М. : Наука, 1979. - 560 c. - (в пер.) : 2-70 р.

ГРНТИ	27.03.15
УДК	517.6

Рубрики: Математика

Держатели документа:
Жамбылский филиал РНТБ Казахстана

Доп.точки доступа:
Бернайс, П.; Адян, С.И. \ред.\
Экземпляры всего: 1
ЧЗ (1)
Свободны: ЧЗ (1)

   510/М501

    Мендельсон, Э.
    Введение в математическую логику [Текст] : монография / Э. Мендельсон ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1976. - 320 с. - Библиогр. в конце кн. - Б. ц.

ГРНТИ	27.03.19
УДК	510.6

Рубрики: Логика математическая

Держатели документа:
Карагандинский филиал РНТБ Казахстана

Доп.точки доступа:
Адян, С.И. \ред.\
Экземпляры всего: 1
08-ХР (1)
Свободны: 08-ХР (1)

   510/Т150

    Такуети, Г.
    Теория доказательств [Текст] : монография / Г. Такуети ; ред. С. И. Адян. - М. : Мир, 1978. - 412 с. - Б. ц.

ГРНТИ	27.03.19
УДК	510.6

   519/А329
   А 32

    Адян, С. И.
    Определяющие соотношения и алгоритмические проблемы для групп и полугрупп [Текст] / АН СССР, Тр. мат. ин-та им. В. А. Стеклова. 85. - М. : Наука, 1966. - 123 с. - Библиогр.: с. 122 (28 назв.). - Б. ц.

ГРНТИ	27.17
УДК	512.54.05

Рубрики: Теория групп

Держатели документа:
Республиканская научно-техническая библиотека Казахстана
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)

   512/А-329
   А 32

    Адян, С. И.
    Проблема Бернсайда и тождества в группах [Текст] / С. И. Адян. - М. : Наука, 1975. - 335 с. - Библиогр.: с. 324-325 (25 назв.). - Б. ц.

ГРНТИ	27.17
УДК	512.54

Рубрики: Группы (мат.)

Держатели документа:
Республиканская научно-техническая библиотека Казахстана
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)

   51/М501
   М 50

    Мендельсон, Э.
    Введение в математическую логику [Текст] : пер.с англ. / Э. Мендельсон ; ред. С. И. Адян. - 3-е изд. - М. : Наука, 1984. - 319 с. : ил. - Библиогр.: с. 296-309. - Б. ц.

ГРНТИ	27.03.19
УДК	510.6

Рубрики: Математическая логика

Держатели документа:
Республиканская научно-техническая библиотека Казахстана

Доп.точки доступа:
Адян, С.И. \ред.\
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)

   51/Т 150

    Такеути, Г.
    Теория доказательств [Текст] : пер.с англ. / Г. Такеути ; ред. С. И. Адян. - М. : Мир, 1978. - 412 с. - Б. ц.

ГРНТИ	27.03.19
УДК	510.6

request_decrypt("<.>A=Адян, С. И.$<.>","");