Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже)
статей по теории логического вывода. Возросший за последнее
время интерес к этой области математической логики вызван
бурным развитием «машинной логики», в частности,
появлением многочисленных работ, посвященных машинному
доказательству теорем *).
В сборнике представлены как работы, ставшие уже
классическими, так и некоторые работы последних лет. Из
многочисленных в настоящее время исследований по теории
логического вывода в сборник отобраны работы, связанные с
наиболее интересными (с точки зрения составителей) этапами
развития этой теории.