Real analysis : a constructive approach / Mark Bridger. - Bridger, Mark, 1942- (Wiley-Interscience, 2006)