Constructive aspects of functional analysis lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Erice (Trapani), Italy, June 27-July 7, 1971 - Geymonat, Giuseppe (CIME summer schools, 2010)