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

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

Марков, Андрей Андреевич.
Избранные труды : В 2-х тт. / Андрей Андреевич Марков ; Сост. и общ. ред.: Н.М.Нагорный. – М. : МЦНМО, 2002. – К 100-летию со дня рождения А.А.Маркова. – ISBN 5-940570-44-5.
Книга
С1(04) М-268

Т.2 : Теория алгорифмов и конструктивная математика. Математическая логика.Информатика и смежные вопросы. – 2003. – XX, 626 с. : ил. – Библиогр.: в конце разд. – ISBN 5-940571-13-1 : 180.00.

С1(04) + С14
51


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