Constructive functional analysis - Bridges, D. S. 1945- (Research notes in mathematics ;, 1979)