Натуральный вывод. Теоретико-доказательственное исследование
30,6 BYN36,73
Цена актуальна на 12.06.2026 — может отличаться от цены в магазине
В наличии
Перейти в Читай-Город →🎁Промокод −50%Продаёт магазин
Читай-Город
Описание
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. .Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Отзывы покупателей
Отзывов пока нет. Покупали этот товар? Расскажите о своём опыте — это поможет другим.