%0 Journal Article
%A R. A. Plyushkevitchus
%T A~sequential calculus of the constructive logic for the normal formulae without structural rules of inference
%J Zapiski Nauchnykh Seminarov POMI
%D 1967
%P 174-188
%V 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a17/
%G ru
%F ZNSL_1967_4_a17