Constructive aspects of functional analysis — Centro internazionale matematico estivo. Session (1971-06-27 / 1971-07-07 ; Erice, Italie)