%0 Journal Article
%A A. S. Kuzichev
%T Arithmetic theories constructed on the basis of lambda-conversion
%J Doklady Akademii Nauk
%D 1981
%P 792-796
%V 261
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1981_261_4_a4/
%G ru
%F DAN_1981_261_4_a4