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

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

Многозначные логики и их применения / Ред.: В.К.Финн. – M. : URSS, 2008. – ISBN 978-5-382-00777-9.

С14


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