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

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

Справочная книга по математической логике : В 4-х ч. / Ред.: Д.Барвайс. – М. : Наука.

С14


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