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

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

ISBN: 5-85582-026-2;
Издательство: Лори
Страниц: 128

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