%0 Journal Article
%A S. R. Kogalovskii
%T Some remarks on higher order logic
%J Doklady Akademii Nauk
%D 1968
%P 1007-1009
%V 178
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1968_178_5_a4/
%G ru
%F DAN_1968_178_5_a4