Constructive real analysis - Goldstein Allen A (1967)
Keywords: Real analysis