Официальный магазин издательской группы ЭКСМО-АСТ
Доставка
8 (800) 333-65-23
Часы работы:
с 8 до 20 (МСК)

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

Артикул: p6442065

Купили 20 раз

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

О товаре

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

Характеристики

Отзывов ещё нет — вы можете быть первым.