Constructive analysis - Bishop Errett; Bridges Douglas (Berlin Springer-Verlag, 1985)
Keywords: Mathematical analysis