Constructive real analysis - Goldstein, Allen A. (Harper's series in modern mathematics nHarper's series in modern mathematics, 1967)