Constructive functional analysis
Bridges, D. S.
London Pitman
1979
Functional analysis.