Натуральный вывод. Теоретико-доказательственное исследование
Faça login para que possamos notificá-lo sobre uma resposta
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Автор:
Автор:Правиц Д.
Переплет:
Переплет:мягкий
Categorias:
- Категория:Política e ciências sociais
- Категория:Filosofia
- Категория:Diretórios
Язык издания:
Язык издания:русский
Бумага:
Бумага:офсетная
Возрастные ограничения:
Ширина:16+
ISBN:
ISBN:978-5-85582-420-9
Nenhum comentário encontrado