Е. В. Борисов, «Кондициональная логика с λ-оператором», RL, т. 7, вып. 2, сс. 22–29, июн. 2026.