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