RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1987
Volume 293,
Number 2,
Pages
313–316
(Mi dan8216)
This article is cited in
1
paper
MATHEMATICS
Reconstruction of a proof by its scheme
V. P. Orevkov
Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences
UDC:
510.64
Presented:
A. P. Ershov
Received: 20.11.1985
Fulltext:
PDF file (581 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025