Techniques of Constructive Analysis - Bridges, Douglas S.; Vita, Luminita Simona; SpringerLink (Online service) (New York, NY : Springer Science+Business Media, LLC, 2006)
Keywords: Mathematical analysis; Mathematics; Analysis; Functional Analysis; Mathematical Logic and Foundations; Operator Theory; Real Functions