Теория логического вывода.

Код: 13461
Автор: Смирнов В.А. →
Издательство: РОССПЭН →
ISBN: 5-8243-0046-1
Страниц: 318
Вес: 0.5 кг
Год издания: 2000
Переплет: мягкий
157 руб.
Товара нет на складе
Сборник содержит основные труды выдающегося отечественного логика профессора В.А. Смирнова по теории логического вывода, в том числе основополагающую монографию "Формальный вывод и логические исчисления".