%0 Journal Article
%A V. P. Orevkov
%T Upper and lower bounds on the height of proofs in sequent calculus for intuitionistic logic
%J Zapiski Nauchnykh Seminarov POMI
%D 2020
%P 124-169
%V 497
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2020_497_a5/
%G ru
%F ZNSL_2020_497_a5