Категории

Главная > Книги>Справочная литература>Общественные и гуманитарные науки>Философия>Натуральный вывод. Теоретико-доказательственное исследование

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

  • Автор: Правиц Д.

  • Переплет: мягкий
  • Страниц: 108
  • Формат: 23x15x.6 см
  • Вес: 170 г
  • ISBN: 978-5-85582-420-9
  • Бумага: офсетная
  • Иллюстрации: отсутствуют
  • Год издания: 2020
  • Язык издания: русский
  • Возрастные ограничения: 16+

44051725

Наличие: ОТПРАВКА В ТЕЧЕНИЕ 9-13 РАБОЧИХ ДНЕЙ

333 Kč

Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
.Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.