| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive |
|
1962, Volume 67
|
| | | General information | | | Contents | | | Page by page | | |
|
Editor's preface N. A. Shanin |
3 | |
|
|
On constructive mathematics A. A. Markov |
8 | |
|
|
Constructive real numbers and constructive functional spaces N. A. Shanin |
15 | |
|
|
Algorithmic operators in constructive metric spaces G. S. Tseitin |
295 | |
|
|
Mean-value theorems in constructive analysis G. S. Tseitin |
362 | |
|
|
Some properties of constructive real numbers and constructive functions I. D. Zaslavsky |
385 | |
|
|
Singular coverings and properties of constructive functions connected with them I. D. Zaslavsky, G. S. Tseitin |
458 | |
|
|
Errata |
||