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 (2011)