RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1970 Volume 113, Pages 102–172 (Mi tm3057)
This article is cited in 1 paper

The upper bounds of enumerable sets of constructive real numbers

G. S. Tseitin


UDC: 51.01:518.5


 English version: Proceedings of the Steklov Institute of Mathematics, 1970, 113, 119–194

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025