Functional analysis and valuation theory - Narici, Lawrence (Pure and applied mathematics, 1971)