Title: Constructive aspects of functional analysis
Subjects: Functional analysis