Cylindric algebra part 1 - Henkin Leon; Monk J Donald; Tarski Alfred (1971)
Keywords: Algebra; Lattice theory