Математическая теория логического вывода Коллектив авторов

Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.

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

Книга представляет несомненный интерес как для логиков, так и для интересующихся приложениями логики к проблемам кибернетики и теории вычислительных машин.