Авторы книги исследуют различные способы формализации логического вывода, разрабатывают технику натурального вывода, предлагают новые методы установления выводимости и невыводимости для широкого класса логических систем. Значительное внимание уделено проблемам вывода в интуиционистской, модальной, временной и релевантной логиках.