+7 (495) 789-35-91 - сеть магазинов
+7 (495) 648-17-68 - интернет-магазин
Натуральный вывод : Теоретико-доказательственное исследование

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

Код товара: 55954
Наличие: осталось мало
Цена интернет-магазина:
600₽
Самовывоз: Сегодня из 1 магазина

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


Московский Дом Книги

ул. Новый Арбат, д.8
м.«Арбатская»
(495) 789-35-91
Понедельник - пятница: с 09:00 до 23:00
Суббота - воскресенье: с 10:00 до 23:00

Цена в розницу: 600 ₽ Купить за 600₽
Поделиться:
Принимаем к оплате логотипы платежных систем
ждите...
ждите...