Нравится LibRing?
Расскажи друзьям:
Даг Правиц

Натуральный вывод. Теоретико-доказательное исследование

Обложка книги Натуральный вывод. Теоретико-доказательное исследование

Книгу можно купить в интернет-магазинах:

· OZON.ru 143р. [Проверить наличие]
· Books.ru 182р. [Проверить наличие]
· Лабиринт 236р. [Проверить наличие]
ISBN: 5-85582-026-2
Издательство: Лори
Год издания: 1997
Страниц: 128
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга - не имеющий аналогов
Посмотрите другие книги этой тематики: