Constructive Aspects of Functional Analysis: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Erice (Trapani), Italy, June 27-July 7, 1971