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

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

Теоретические применения математической логики : Сборник работ / Ред.: С.Ю.Маслов, Г.Е.Минц. – Л. : Наука. Ленингр. отд-ние. – (Записки научных семинаров ЛОМИ / Математический ин-т им. В.А. Стеклова, Ленингр. отд-ние ).

С14


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