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