Review: G. Birkhoff, Lattice theory