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

—

Нет оценок

Нет отзывов

Купили 9 человек

Аннотация

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

Не в наличии

Отзывы

0

Уже читали эту книгу? Поделитесь вашим мнением!

Описание и характеристики

Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. .Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.
Код2767212
Издательство
ПереводчикБыстров П.
ПереплетМягкий переплёт
Кол-во страниц108
Год издания2019
Тираж100 экз.
ISBN978-5-85582-420-9
РазделОтдельные философские науки
Размеры0.6 см × 15.8 см × 23.1 см
Вес0.17 кг
В магазине «Буквоед» закончилась книга «Натуральный вывод. Теоретико-доказательственное исследование». Когда книга снова поступит в продажу, можно будет сделать заказ из любого города России: от Санкт-Петербурга и Москвы до Казани и Краснодара. Дождитесь, пока появится надпись «Купить», чтобы получить «Натуральный вывод. Теоретико-доказательственное исследование» в магазине сети или заказать доставку. Мы и сами любим читать, поэтому делаем всё, чтобы вы могли купить понравившуюся историю по приятной цене. Например, организуем конкурсы и проводим акции. Оставайтесь с нами, чтобы не упустить выгоду!