Электронный каталог

Многотомник
С1(04)

Математический институт им. В.А. Стеклова.
Труды Математического института им. В.А. Стеклова / Математический институт им. В.А. Стеклова. – М. : МАИК "Наука/Интерпериодика". – На англ.яз. переводится под загл.: Proceedings of the Steklov Institute of Mathematics.
Книга
С1(04) М-34

Т.242 : Математическая логика и алгебра : Сборник статей: К 100-летию со дня рождения акад. П.С.Новикова / Ред.: С.И.Адян. – 2003. – 207 с. : ил. – Библиогр. в конце ст. – Содерж.: Материалы Международной конференции по математической логике, алгебре и теория множеств, Москва, 27-31 авг. 2001. – ISBN 5-02-032604-6. – ISSN 0371-9685.

С1(04) + С14 + С131
510.6+512
04


Индексный (книги) = С 1(04) - Собрания сочинений. Труды институтов. Конференции,совещания. Избранные труды
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Индексный (книги) = С 131 - Высшая алгебра
Географический = Москва
Хронологический = 27.08.2001-31.08.2001
Ключевых слов = математическая логика
Ключевых слов = теория доказательств
Ключевых слов = теория алгоритмов
Ключевых слов = булевы алгебры
Ключевых слов = алгебраическая геометрия
Ключевых слов = простые квартенионы
Ключевых слов = Новиков Петр Сергеевич