An algebraic introduction to mathematical logic - Barnes, Donald W; Mack, John M (Graduate Texts in Mathematics, 22, 1975)