Parcourir par
Collections
Sources
Geodesic
Parcourir par
Collections
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