|
|
13:31 Скачать книгу Натуральный вывод. Теоретико-доказательственное исследование - Даг Правиц |
Автор: Правиц Даг
Переводчик: Быстров П.
Издательство: Лори, 1997 г.
Аннотация к книге "Натуральный вывод. Теоретико-доказательственное исследование"
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
|
Похожие материалы:
|
|
| Календарь |
| « Январь 2016 » | | Пн | Вт | Ср | Чт | Пт | Сб | Вс | | | | | | 1 | 2 | 3 | | 4 | 5 | 6 | 7 | 8 | 9 | 10 | | 11 | 12 | 13 | 14 | 15 | 16 | 17 | | 18 | 19 | 20 | 21 | 22 | 23 | 24 | | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
|
|
