Constructibility - Devlin, Keith J., 1947- (Springer-Verlag, 1984)