%0 Journal Article
%A A. G. Dragalin
%T Completeness and cut-elimination theorems in higher-order classical logic. Constructive methods
%J Izvestiâ vysših učebnyh zavedenij. Matematika
%D 1993
%P 3-18
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IVM_1993_3_a0/
%G ru
%F IVM_1993_3_a0