Constructive Aspects of Functional Analysis - Geymonat, G. (Springer Berlin Heidelberg, 2011)