Cylindric algebras, pt.1. - Henkin Leon; Monk J D; Tarski Alfred (London North-Holland, 1971)
Keywords: Algebra