%0 Journal Article
%A R. A. Plyushkevitchus
%T A sequential version of the calculus of constructive logic for normal formulae which contain no structural laws
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1968
%P 155-202
%V 98
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TM_1968_98_a7/
%G ru
%F TM_1968_98_a7