%0 Journal Article
%A A. S. Kuzichev
%T Arithmetically consistent $\lambda$-theories
%J Doklady Akademii Nauk
%D 1982
%P 795-799
%V 262
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1982_262_4_a5/
%G ru
%F DAN_1982_262_4_a5