Review: P. R. Halmos, Lectures on ergodic theory