Натуральный вывод

Код товара 2159547
АвторПравиц
Издательство Лори
Год выпуска1997
ISBN5-85582-026-2
Вес 190 г
Оформлениемягкая обложка
Кол-во страниц 108
Материал Офсет
Размер 235x165x7 мм

Наличие в е-магазине

принимаются заказы
Цена в интернет-магазине
191
Цена в розничном магазине
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.

Рецензии и отзывы на книгу "Натуральный вывод"

Ваш отзыв будет первым