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

Код товара 2159547
АвторПравиц
Издательство Лори
Год выпуска2020
ISBN978-5-85582-420-9
Вес 190 г
Оформлениемягкая обложка
Кол-во страниц 128
Материал Офсет
Размер 235x165x7 мм

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

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



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

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






Лидеры продаж