%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 Informatics and Automation
%D 1968
%P 155-202
%V 98
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TRSPY_1968_98_a7/
%G ru
%F TRSPY_1968_98_a7