CONSTRUCTIVE ANALYSIS - Bishop, Errett; Bridges, Douglas (Berlin Springer-Verlag, 1985)
Keywords: Mathematical Analysis -- Foundations; Bridges, Douglas