An algebraic introduction to mathematical logic - Barnes, Donald W., 1935- (Graduate Texts in Mathematics ;, 1975)