Натуральный вывод. Теоретико-доказательственное исследование

15,02 € Первоначальная цена составляла 15,02 €.11,27 €Текущая цена: 11,27 €.

Натуральный вывод — одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
.Эта книга — не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.