%0 Journal Article
%A R. A. Pliuškevičius
%T A version of the constructive calculus of predicates without structural deduction rules
%J Doklady Akademii Nauk
%D 1965
%P 292-295
%V 161
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1965_161_2_a9/
%G ru
%F DAN_1965_161_2_a9