Algebraic introduction to mathematical logic - Barnes Donald W; Mack John M (New York Springer Verlag, 1975)
Keywords: Algebraic logic; Logic Symbol and mathematical