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

Многотомник
С14

Исследования по теории алгорифмов и математической логике : Сборник работ / Ред.: А.А.Марков, Н.В.Петри. – М. : [Б.и.], 1973.

С14


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