| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive |
|
1970, Volume 113
|
| | | General information | | | Contents | | | Forward links | | |
|
Certain questions of the constructive theory of normed Boolean algebras N. K. Kossovski |
3 | |
|
|
Certain algorithmic problems that are connected with the integration of constructive functions B. A. Kushner |
39 | |
|
|
Certain questions of the approximation of the maximal regulators of continuity A. O. Slisenko |
73 | |
|
|
A certain characterization of the complexity of recursive predicates R. I. Freidson |
79 | |
|
|
The upper bounds of enumerable sets of constructive real numbers G. S. Tseitin |
102 | |
|
|
Constructive sets with an equality and their mappings V. A. Shurygin |
173 | |
|
|
Errata |
263 | |