Натуральный вывод. Теоретико-доказательственное исследование
Книга с полки
Описание
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. .Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.ID Продукта
1611341
Издательство
Год
2019
ISBN
978-5-85582-420-9
Item code
10277782
Вес
0.17
Формат
70х100/16
Переплет
мягкий
Доступность
На складе
Размер посылки
XS
