Algebraic methods of mathematical logic /
Rieger, Ladislav.
Katětov, Miroslav.
Prague; London, 
1967.