Stamp-45-off-English

Натуральный вывод. Теоретико-доказательственное исследование

Escreva uma crítica
Preço antigo: 19.15
10.53
Poupa: 8.62 (45%)
10 dias
44051725
+
Отправка в течение 12-17 рабочих дней
Автор:Правиц Д.
Переплет:мягкий
Категория:Política e ciências sociaisFilosofiaDiretórios
ISBN:978-5-85582-420-9
Dimensions: 150x6x230cm


Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Автор:
Автор:Правиц Д.
Переплет:
Переплет:мягкий
Categorias:
  • Категория:Política e ciências sociais
  • Категория:Filosofia
  • Категория:Diretórios
Язык издания:
Язык издания:русский
Бумага:
Бумага:офсетная
Возрастные ограничения:
Ширина:16+
ISBN:
ISBN:978-5-85582-420-9

Nenhum comentário encontrado