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