Constructive Aspects of Functional Analysis: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Erice ... 7, 1971 (C.I.M.E. Summer Schools, Band 57)