Добро пожаловать, Гость! Вы можете войти или зарегистрироваться
Обратная связь
Войти через  
Visa MasterCard WebMoney Яндекс.Деньги PayPal
266 пунктов выдачи, доставка в 154 городах
Мой регион
Натуральный вывод
Книга






Д. Правиц

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

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

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

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

New & best!