The Gallery Lattice theory Garrett Birkhoff Thoralf Skolem Ernst Schröder Bjarni Jónsson Alfred Horn John Lane Bell 1