An algebraic introduction to mathematical logic - D. W. Barnes, J. M. Mack