%0 Journal Article
%A A. S. Kuzichev
%T The theorem on the midsequent in the $\mathscr{A}$-system of $\lambda$-conversion
%J Doklady Akademii Nauk
%D 1978
%P 19-21
%V 243
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1978_243_1_a2/
%G ru
%F DAN_1978_243_1_a2