Entropy in ergodic theory by Paul R. Halmos · Bookplated