Constructive real analysis - Goldstein, Allen A (Harper & Row New York, 1967)
Keywords: Constructive mathematics