%0 Journal Article
%A A. S. Kuzichev
%T Correction: ``Arithmetically consistent $\lambda $-theories of  type-free logic''
%J Doklady Akademii Nauk
%D 1983
%P 10
%V 272
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1983_272_1_a24/
%G ru
%F DAN_1983_272_1_a24