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

Натуральный вывод. Теоретико-доказательное исследование
Автор
 
Год
 
Страниц
 
128
ISBN
 
5855820262
Издатель
 
Лори
Категория
 
Философия (архив)
Искать в интернет библиотекахКупить

Содержание:

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

Описание:

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

Похожие книги

Основы аудитаОсновы аудита
Автор: Т. М. Рогуленко, С. В. Пономарева
Год: 2008
Сводные таблицы в Microsoft ExcelСводные таблицы в Microsoft Excel
Автор: Билл Джелен, Майкл Александер
Год: 2007
Книга на третьеКнига на третье
Автор: Петр Бормор
Год: 2008
Посылка в ШанхайПосылка в Шанхай
Автор: Дмитрий Регентов
Год: 2008