An algebraic introduction to mathematical logic - Barnes, D. W. (Donald W.), 1935- (Springer-Verlag, 1975)