Algebraic introduction to mathematical logic. - Barnes Donald W; Mack John M (1975)