Категории

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

10.53€ 19.15€
Скидка 45%
Модель: 44051725
Наличие: Отправка 10-12 раб. дн.
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. .Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Свойства
Автор Правиц Д.
Переплет мягкий
Страниц 108
Бумага офсетная
Иллюстрации отсутствуют
Год издания 2020
Язык издания русский
Возраст 16+
ISBN 978-5-85582-420-9

Написать отзыв

Примечание: HTML разметка не поддерживается! Используйте обычный текст.
    Плохо           Хорошо
Защита от роботов