Нет отзывов
Купили 9 человек
Аннотация
| Издательство | |
|---|---|
| Переплет | Мягкий переплёт |
| Страниц | 108 |
| Год, тираж | 2019, 100 экз. |
1 019 ₽849 ₽-17%
Осталось мало
как получить заказ
В сб, 22 августа — бесплатно
- Во вт, 25 августа — от 244 ₽
- КурьеромВ вс, 23 августа — от 315 ₽
- Почтой РоссииВ пн, 24 августа — от 519 ₽
Отзывы
0Описание и характеристики
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
| Код | 2767212 |
|---|---|
| Издательство | |
| Переводчик | Быстров П. |
| Переплет | Мягкий переплёт |
| Кол-во страниц | 108 |
| Год издания | 2019 |
| Тираж | 100 экз. |
| ISBN | 978-5-85582-420-9 |
| Раздел | Отдельные философские науки |
| Размеры | 0.6 см × 15.8 см × 23.1 см |
| Вес | 0.17 кг |