Натуральный вывод Теоретико доказательственное исследование Лори 978 5 85582 420 9
Цена: 549 руб.
Категория: Научно-популярная литература, Философские науки. Социология
Производитель: Лори
Артикул: 978-5-85582-420-9
Модель:
Узнать подробности предложения
Категория: Научно-популярная литература, Философские науки. Социология
Производитель: Лори
Артикул: 978-5-85582-420-9
Модель:
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. .Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Магазин: book24 RU
ISBN: 978-5-85582-420-9
Объем: 108
Автор: Правиц Д.
Издательство: Лори
Год: 2020
Код номенклатуры: ORS904926376141769
Электронная: Нет
noСкидка: no
Купоны book24 RU: 
С заботой о близких
Дата окончания: 11 июля
Лето налегке
Дата окончания: 11 июля
Ура, распродажа!
Дата окончания: 12 июля
Комментарии, уточнения, отзывы о Натуральный вывод Теоретико доказательственное исследование Лори 978 5 85582 420 9:
Покупатели также смотрят:
