Натуральный вывод. Теоретико-доказательственное исследование
Войдите в учётную запись, чтобы мы могли сообщить вам об ответе
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Автор:
Автор:Правиц Д.
Переплет:
Переплет:мягкий
Категория:
- Категория:Политика и социальные науки
- Категория:Философия
- Категория:Справочники
Язык издания:
Язык издания:русский
Бумага:
Бумага:офсетная
Возрастные ограничения:
Ширина:16+
ISBN:
ISBN:978-5-85582-420-9
Отзывы не найдены