Title: Constructive functional analysis
First published: 1979
Subjects: Functional analysis, Constructive mathematics
LC classification: QA320 .B74