#

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

0.00
0 Оценок
0
Отзывов

О книге

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

Жанры и теги
Лучшая цена:
181 ₽
Наличие в магазинах #
Купить на Лабиринт
181 ₽
Характеристики
Издательство:
Лори
Год издания:
1997-01-01
ISBN:
5-85582-026-2

Отзывы

0
Все отзывы

Чтобы оставить отзыв или проголосовать, необходимо авторизоваться
Войти
или
Номер телефона Другие способы
При входе на ресурс вы принимаете публичную оферту и обработку персональных данных
Другие способы
Через приложение Books.Fan
При входе на ресурс вы принимаете публичную оферту и обработку персональных данных
Введите номер телефона
Введите код
Мы отправили вам письмо с кодом на
+78786546545
Введите его для подтверждения номера телефона
Не приходит код?