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

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

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

Новиков, П.С.
Т.44 : Об алгебраической неразрешимости проблемы тождества слов в теории групп / П.С.Новиков. – 1955. – 143 с. – Библиогр.: с.141. – ISSN 0371-9685.

С14


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ