|
|
|
|
Натуральный вывод. Теоретико-доказательственное исследование
Правиц Д.
Код: 44051725
Страниц: 108
Переплет: мягкий Иллюстрации: отсутствуют Бумага: офсетная Язык издания: русский Год издания: 2020 Возрастные ограничения: 16+ Размер: 15 x 23 x 0.6 см
Вес: 170 г.
ISBN: 978-5-85582-420-9
Наличие: распродано
|
Описание:
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
|
|
|
|
|
