Lattice theory (Proceeding of symposia in pure mathematics, 1961)