Geodesic

Problems of the constructive direction in mathematics. Part 2. Constructive mathematical analysis

Sommaire

Editor's preface
p. 3-7
On constructive mathematics
p. 8-14
Constructive real numbers and constructive functional spaces
p. 15-294
Algorithmic operators in constructive metric spaces
p. 295-361
Mean-value theorems in constructive analysis
p. 362-384
Some properties of constructive real numbers and constructive functions
p. 385-457
Singular coverings and properties of constructive functions connected with them
p. 458-502