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



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025