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