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

Отложить Сравнить

Магазин: Буквоед

Артикул: 10277782

529,00 руб.

Купить с кэшбэком
до 4,50%

Купить с кэшбэком

Купить без кэшбэка

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

Отправьте эту ссылку другу. Если друг совершит покупку этого товара – вы получите за него кэшбэк.

Для получения кэшбэк-ссылки вам нужно Войти или Зарегистрироваться.