%0 Journal Article
%A A. S. Kuzichev
%T Arithmetically consistent $\lambda$-theories of type-free logic
%J Doklady Akademii Nauk
%D 1983
%P 288-292
%V 268
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1983_268_2_a6/
%G ru
%F DAN_1983_268_2_a6