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

ФОТО ДОСТАВКА ОТЗЫВЫ ▼ Подробнее

5 507 ТгСкидка: 17%

4 589 Тг

В МАГАЗИНЧитай-город

Найдено в: Читай-город
* 849 RUB в пересчете
Возможен самовывоз

Найти похожие на AliExpress

на Joom

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

Издатель: Лори

Год издания 2019

Страниц: 108

ISBN: 978-5-85582-420-9

Описание

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

Характеристики

Наименование Натуральный вывод. Теоретико-доказательственное исследование
Категория Книги/Нехудожественная литература/Философия/Отдельные философские науки
Издатель Лори
Год издания 2019
Всего страниц 108
ISBN 978-5-85582-420-9
Способ получения Доставка, самовывоз
Тип Книга
Продавец Читай-город
Оригинальная цена 849 RUB
Актуальность 05.11.2026