%0 Journal Article
%A S. R. Kogalovskii
%T Certain reduction theorems for higher order logic
%J Doklady Akademii Nauk
%D 1970
%P 519-522
%V 190
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1970_190_3_a7/
%G ru
%F DAN_1970_190_3_a7