%0 Journal Article
%A A. S. Kuzichev
%T A $\lambda$-conversion system with a deductive operator of formal implication
%J Doklady Akademii Nauk
%D 1973
%P 1290-1292
%V 212
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1973_212_6_a5/
%G ru
%F DAN_1973_212_6_a5