%0 Journal Article
%A L. Gordeev
%T On cut elimination in the presence of peirce rule.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1987
%P 147-164
%V 26
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1987__26_138059/
%F AMLG_1987__26_138059