Нет отзывов
Купили 20 человек
Аннотация
Издательство | |
---|---|
Страниц | 108 |
Год, тираж | 2020 |
549 ₽
Последний экземпляр
Описание и характеристикиХарактеристики
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. .Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Код | 2767212 |
---|---|
Издательство | |
Автор |
|
Кол-во страниц | 108 |
Год издания | 2020 |
ISBN | 978-5-85582-420-9 |
Раздел | Философские науки. Социология |
Размеры | 15.9 см × 23.1 см |
Вес | 0.17 кг |