Натуральный вывод

Правиц Д.

Натуральный вывод

временно отсутствует

Цена в интернет-магазине: 229,00 руб.

Сообщить о поступлении

Доставка книг по России от 149 руб.*

Аннотация:

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

Дополнительные сведения:

Артикул: 1044641
ISBN: 5-85582-026-2
Тип переплета: в обл.
Тираж: 1000
Язык оригинала: англ.
Название: Натуральный вывод
Дополнительные сведения: Пер. с англ. П. Быстрова
Место издания: М.
Издатель: ЛОРИ
Дата издания: 1997
Количество страниц: 108
Высота, см.: 23
Книга «Натуральный вывод» в наличии в интернет-магазине «БИБЛИО-ГЛОБУС» по низкой цене. У Вас есть возможность оформить заказ на книгу Правиц Д. «Натуральный вывод» с подходящим способом доставки: самовывоз, курьерская доставка или доставка почтой. Доставка заказов в такие города как Москва, Санкт-Петербург, Казань, Екатеринбург, Воронеж, Самара, Нижний Новгород. Интернет-магазин «БИБЛИО-ГЛОБУС» регулярно проводит акции и предоставляет скидки на книги.