TY  - BOOK
AU  - Henkin Leon
AU  -  Monk J Donald
AU  -  Tarski Alfred
TI  - Cylindric algebra part 1
U1  - B29M15, L1.1 
PY  - 1971///
KW  -  Algebra
KW  - Lattice theory
ER  -