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