Quotient lattices, index sets, and recursive linear orderingsSteven Thomas Schwarz · First published 1982Open the Tome
