RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1987
Volume 296,
Number 3,
Pages
539–542
(Mi dan7967)
MATHEMATICS
Applications of cut elimination for obtaining bounds on the lengths of proofs
V. P. Orevkov
Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences
UDC:
510.64
Presented:
A. P. Ershov
Received: 21.03.1986
Fulltext:
PDF file (597 kB)
English version:
Doklady Mathematics, 1988,
36
:2,
292–295
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (597 kB)