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