Algebraic introduction to mathematical logic - Barnes Donald W; Mack John M (New York Springer-verlag, 1975)
Keywords: Algebraic logic; Mathematical logic