Математическая теория логического вывода.
Сборник переводов под редакцинй Идельсона А.В.,Минца Г.Е. Серия Математическая логика и основания математики.

1967, изд-во: Наука, город: Москва, стр. : 351 стр., илл., обложка: Твердый издательский переплет с суперобложкой., формат: Слегка увеличенный., состояние: Очень хорошее у книги. Суперобложка с дефектами. . Эта книга является сборником переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием `машинной логики`, в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Ведущее место занимают статьи основоположника теории логического вывода Г. Генцена. В них разработан метод, лежащий ныне в основе большинства работ по теории логического вывода. С помощью этого метода получен также ряд важнейших результатов из оснований математики - доказана, например, непротиворечивость чистой теории чисел с аксиомой полной индукции.