Математическая теория логического вывода. Математическая логика и основания математики (Под редакцией А.В.Идельсона и Г.Е.Минца)
Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г.Е.Минца) статей по теории логического вывода. Возросший за последнее премя интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
Читатель, не обладающий никакими специальными сведениями в области математической логики (но обладающий некоторой математической культурой), может использовать этот сборник в качестве пособия для систематического изучения теории логического вывода. При таком использовании можно рекомендовать следующий порядок чтения.
Издатель: "НАУКА"
Год издания: 1967
Страниц: 350
Язык: русский
Качество: среднее
комментариев нет