Натуральный вывод. Теоретико-доказательное исследование
 |
|
Содержание:
Натуральный вывод. Теоретико-доказательное исследование
Описание:
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.Похожие книги
 | Аналитическая механика. В двух томах Автор: Ж. Лагранж Год: 1950 |
 | Образы божественной женственности в Тантре Автор: Дэвид Кинсли Год: 2007 |
 | Из прошлого Русской земли Автор: С. Князьков Год: 1907 |
 | Моделирование геологических процессов при интерпретации геофизических данных Автор: Кулагин А.В. и др. Год: 2001 |
 | Агрессия Автор: Конрад Лоренц Год: 2009 |
| Вглубь Вселенной. Звезды, галактики и мироздание Автор: Ефремов Юрий Год: 2003 |