Н
Натуральный вывод. Теоретико-доказательственное исследование
Д. Правиц
★★★★★
оценок пока нет
- Автор
- Д. Правиц
- Год издания
- 1997
- ISBN
- 9785855820262
Оцените книгу:
Аннотация
Настоящая монография посвящена анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.Книга не имеет аналогов области формализации логических доказательств. Издание содержит Библиограф
Отзывы читателей
Отзывов пока нет — станьте первым.