Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Trudy Matematicheskogo Instituta imeni V.A. Steklova
Tome 113 (1970)
Précédent
Suivant
Problems of the constructive direction in mathematics. Part 5
Sommaire
Certain questions of the constructive theory of normed Boolean algebras
N. K. Kossovski
p. 3-38
Certain algorithmic problems that are connected with the integration of constructive functions
B. A. Kushner
p. 39-72
Certain questions of the approximation of the maximal regulators of continuity
A. O. Slisenko
p. 73-78
A~certain characterization of the complexity of recursive predicates
R. I. Freidson
p. 79-101
The upper bounds of enumerable sets of constructive real numbers
G. S. Tseitin
p. 102-172
Constructive sets with an equality and their mappings
V. A. Shurygin
p. 173-259
Errata
p. 263-264