An algebraic introduction to mathematical logic. - Barnes, Donald W. (Graduate texts in mathematics, 1975)