TY  - JOUR
AU  - V. P. Orevkov
TI  - Upper and lower bounds on the height of proofs in sequent calculus for intuitionistic logic
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2020
SP  - 124
EP  - 169
VL  - 497
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2020_497_a5/
LA  - ru
ID  - ZNSL_2020_497_a5
ER  -