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