Title: Algebraic methods of mathematical logic
Subjects: Boolean Algebra, Symbolic and mathematical Logic