%0 Journal Article
%A A. S. Kuzichev
%T A system of $\lambda$-conversion with logical operators and an equality operator
%J Doklady Akademii Nauk
%D 1977
%P 796-799
%V 236
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1977_236_4_a3/
%G ru
%F DAN_1977_236_4_a3