Constructibility - Devlin, Keith J., 1947- (Perspectives in mathematical logic, 1984)