Выводимость допустимых правил с простыми посылками в исчислении Ламбека

Описывается методика доказательства того, что любое допустимое в базовом исчислении Ламбека $\mathrm{L}$ правило с посылкой, состоящей из конечного числа простых, т.е. не содержащих связок, секвенций, является выводимым.
Библиогр. 5.