Mathematical logic - Monk, J. Donald 1930- (James Donald) (Springer-Verlag, 1976)