TY  - BOOK
AU  - Halmos, Paul R
TI  - Algebraic logic
N1  - B31 K23
ER  -