 |
 Нет книг для сравнения |
 |
 |
 |
|||
Kаталог / Даг Правиц |
| 1. |  |
Натуральный вывод. Теоретико-доказательное исследование Даг Правиц Натуральный вывод — одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга — не имеющий аналогов Информация о книгe Просмотров: 15 |
Лучшая цена 69.00 руб. В магазине |
