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

Нет оценок

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

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

Переплёт
Мягкий
Кол-во стр.
108
Вес
170 г
Год издания
2019

Отзывы

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

Переплёт
Мягкий
Кол-во стр.
108
Вес
170 г
Год издания
2019
Жанр
Философия
Издательство
Лори
Переводчик
Быстров П.
Размеры в см
0.6x15.8x23.1
ID товара
2767212
ISBN
978-5-85582-420-9
Поджанр
Логика

Книга «Натуральный вывод. Теоретико-доказательственное исследование» есть в наличии в интернет-магазине «Читай-город» по привлекательной цене. Если вы находитесь в Москве, Санкт-Петербурге, Нижнем Новгороде, Казани, Екатеринбурге, Ростове-на-Дону или любом другом регионе России, вы можете оформить заказ на книгу «Натуральный вывод. Теоретико-доказательственное исследование» и выбрать удобный способ его получения: самовывоз, доставка курьером или отправка почтой. Чтобы покупать книги вам было ещё приятнее, мы регулярно проводим акции и конкурсы.