Натуральный вывод. Теоретико-доказательное исследование (книга)
| Натуральный вывод. Теоретико-доказательное исследование | |
 | |
| Автор: | Даг Правиц |
|---|---|
| Оригинал издан: | 1997 |
| Издательство: | Лори |
| Выпуск: | 2002 |
| Страниц: | 128 |
«Натуральный вывод. Теоретико-доказательное исследование» — книга 1997 года.
Содержание |
Содержание 
От издателя
«Натуральный вывод — одна из лучших монографий в мировой логической литературе, посвящённая анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга — не имеющий аналогов…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
