Натуральный вывод

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

• ISBN: 5-85582-026-2
• 108 страниц
• ноябрь 1997
• Лори
• 175 г

Аннотация к книге "Натуральный вывод"

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

скачать с файлообменника