Functional analysis - Bühler, Theo 1978- (AMS, 2018)